| # Copyright (c) 2019 BayLibre SAS |
| # SPDX-License-Identifier: Apache-2.0 |
| |
| config BOARD_QEMU_RISCV64 |
| bool "QEMU RISCV64 target" |
| depends on SOC_RISCV_VIRT |
| select QEMU_TARGET |
| select 64BIT |
| select HAS_COVERAGE_SUPPORT |
| select CPU_HAS_FPU_DOUBLE_PRECISION |
| select RISCV_ISA_RV64I |
| select RISCV_ISA_EXT_ZICSR |
| select RISCV_ISA_EXT_ZIFENCEI |
| |
| config BOARD_QEMU_RISCV64_SMP |
| bool "QEMU RISCV64 SMP target" |
| depends on SOC_RISCV_VIRT |
| select QEMU_TARGET |
| select 64BIT |
| select HAS_COVERAGE_SUPPORT |
| select CPU_HAS_FPU_DOUBLE_PRECISION |
| select RISCV_ISA_RV64I |
| select RISCV_ISA_EXT_ZICSR |
| select RISCV_ISA_EXT_ZIFENCEI |