diff options
Diffstat (limited to 'nuttx/arch/sim/Kconfig')
-rw-r--r-- | nuttx/arch/sim/Kconfig | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/nuttx/arch/sim/Kconfig b/nuttx/arch/sim/Kconfig index dce2bc918..dd25aa5c8 100644 --- a/nuttx/arch/sim/Kconfig +++ b/nuttx/arch/sim/Kconfig @@ -4,29 +4,4 @@ # if ARCH_SIM -choice - prompt "Simulator board type" - default ARCH_BOARD_SIM - -config ARCH_BOARD_SIM - bool "x86 Linux user-mode" - depends on ARCH_SIM - ---help--- - A user-mode port of NuttX to the x86 Linux platform is available. - The purpose of this port is primarily to support OS feature development. - This port does not support interrupts or a real timer (and hence no - round robin scheduler) Otherwise, it is complete. - -config ARCH_BOARD_WIN32 - bool "x86 Win32 user-mode(NOT SUPPORTED)" - depends on ARCH_SIM - ---help--- - THIS PORT NOT SUPPORTED. - -endchoice - -config ARCH_BOARD - string - default "sim" if ARCH_BOARD_SIM - endif |