summaryrefslogtreecommitdiff
path: root/nuttx/arch/sim/Kconfig
blob: 08f9a5f63c702f6d9652da5290d1e59b8c152608 (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
28
29
30
31
32
33
34
35
36
#
# For a description of the syntax of this configuration file,
# see misc/tools/kconfig-language.txt.
#

config ARCH
	string
	default "sim"

config ARCH_SIM
	bool
	default y

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.

config ARCH_BOARD_WIN32
	bool "x86 Win32 user-mode(NOT SUPPORT)"
	---help---
	  THIS PORT NOT SUPPORT.

endchoice
	
config ARCH_BOARD
	string
	default "sim" if ARCH_BOARD_SIM