diff --git a/arch/risc-v/src/mpfs/Kconfig b/arch/risc-v/src/mpfs/Kconfig index a74aaeae55b..adee77b0467 100755 --- a/arch/risc-v/src/mpfs/Kconfig +++ b/arch/risc-v/src/mpfs/Kconfig @@ -13,6 +13,19 @@ config MPFS_ENABLE_DPFPU ---help--- Enable the RISC-V Double-Precision Floating Point Unit (DP-FPU). +config MPFS_BOOTLOADER + bool "Initialize HW" + default n + ---help--- + This NuttX image is used as a bootloader, which will boot only on one hart, putting the others in WFI + +config MPFS_BOOT_HART + int "HART used for booting" + depends on MPFS_BOOTLOADER + default 0 + ---help--- + The HART number which does the HW initialiization and wakes up the other harts (Default 0, E51 core) + menu "MPFS Peripheral Support" # These "hidden" settings determine whether a peripheral option is available