2012-04-07 16:50:57 +02:00
|
|
|
#
|
|
|
|
|
# For a description of the syntax of this configuration file,
|
|
|
|
|
# see misc/tools/kconfig-language.txt.
|
|
|
|
|
#
|
2012-04-05 19:44:04 +02:00
|
|
|
|
|
|
|
|
config ARCH
|
|
|
|
|
string
|
2012-04-07 16:50:57 +02:00
|
|
|
default "sim"
|
|
|
|
|
|
|
|
|
|
config ARCH_SIM
|
|
|
|
|
bool
|
|
|
|
|
default y
|
|
|
|
|
|
2012-04-05 19:44:04 +02:00
|
|
|
choice
|
|
|
|
|
prompt "Simulator board type"
|
|
|
|
|
default ARCH_BOARD_SIM
|
|
|
|
|
|
|
|
|
|
config ARCH_BOARD_SIM
|
|
|
|
|
bool "x86 Linux user-mode"
|
|
|
|
|
---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.
|
|
|
|
|
|
2012-04-07 16:50:57 +02:00
|
|
|
config ARCH_BOARD_WIN32
|
|
|
|
|
bool "x86 Win32 user-mode(NOT SUPPORT)"
|
|
|
|
|
---help---
|
|
|
|
|
THIS PORT NOT SUPPORT.
|
2012-04-05 19:44:04 +02:00
|
|
|
|
2012-04-07 16:50:57 +02:00
|
|
|
endchoice
|
|
|
|
|
|
2012-04-05 19:44:04 +02:00
|
|
|
config ARCH_BOARD
|
|
|
|
|
string
|
|
|
|
|
default "sim" if ARCH_BOARD_SIM
|
|
|
|
|
|
