diff options
author | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2012-04-11 02:04:59 +0000 |
---|---|---|
committer | patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679> | 2012-04-11 02:04:59 +0000 |
commit | 95c7a42c261171c4a867d4d59ec440fa88696d8f (patch) | |
tree | d3ecfd1e47accb95723f2b117bece3cac6220940 /nuttx/arch/sim | |
parent | 46e11c55c1618fa7bda5ef67299084c723937075 (diff) | |
download | px4-firmware-95c7a42c261171c4a867d4d59ec440fa88696d8f.tar.gz px4-firmware-95c7a42c261171c4a867d4d59ec440fa88696d8f.tar.bz2 px4-firmware-95c7a42c261171c4a867d4d59ec440fa88696d8f.zip |
More configuration files
git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4588 7fd9a85b-ad96-42d3-883c-3090e2eb8679
Diffstat (limited to 'nuttx/arch/sim')
-rw-r--r-- | nuttx/arch/sim/Kconfig | 21 |
1 files changed, 6 insertions, 15 deletions
diff --git a/nuttx/arch/sim/Kconfig b/nuttx/arch/sim/Kconfig index 08f9a5f63..00253d0dc 100644 --- a/nuttx/arch/sim/Kconfig +++ b/nuttx/arch/sim/Kconfig @@ -3,20 +3,14 @@ # see misc/tools/kconfig-language.txt. # -config ARCH - string - default "sim" - -config ARCH_SIM - bool - default y - +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. @@ -24,13 +18,10 @@ config ARCH_BOARD_SIM round robin scheduler) Otherwise, it is complete. config ARCH_BOARD_WIN32 - bool "x86 Win32 user-mode(NOT SUPPORT)" + bool "x86 Win32 user-mode(NOT SUPPORTED)" + depends on ARCH_SIM ---help--- - THIS PORT NOT SUPPORT. + THIS PORT NOT SUPPORTED. endchoice - -config ARCH_BOARD - string - default "sim" if ARCH_BOARD_SIM - +endif |