summaryrefslogtreecommitdiff
path: root/config/kernel.in
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-09-28 21:31:13 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2008-09-28 21:31:13 (GMT)
commit5e2ecc71c67f53bd4ac3e781ac85c2a6893bffd8 (patch)
treec02636247a9401487c611718d9ecc1700a1ead95 /config/kernel.in
parent5fce4239124ec9f0971d2d7be4760890f29aecea (diff)
Move around the BARE_METAL config entry outside of the bare metal /kernel/ entry: there might be different setups that causes a bare metal compiler.
/trunk/config/kernel/bare-metal.experimental.in | 12 4 8 0 ++++-------- /trunk/config/kernel.in | 6 6 0 0 ++++++ 2 files changed, 10 insertions(+), 8 deletions(-)
Diffstat (limited to 'config/kernel.in')
-rw-r--r--config/kernel.in6
1 files changed, 6 insertions, 0 deletions
diff --git a/config/kernel.in b/config/kernel.in
index 1ae8b2e..a2a9686 100644
--- a/config/kernel.in
+++ b/config/kernel.in
@@ -2,6 +2,12 @@
menu "Operating System"
+# Config option used throughout the config and code to determine wether
+# we hace a kernel or not (there might be different bare metal stuff...
+config BARE_METAL
+ bool
+ default n
+
config KERNEL
string