blob: 00253d0dc976f19e57323e73a4d22ffb21ccab40 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
#
# For a description of the syntax of this configuration file,
# see misc/tools/kconfig-language.txt.
#
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
endif
|