# HG changeset patch
# User "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
# Date 1222637473 0
# Node ID 927b30e3270908d9b6c70451166a49a46cd995f1
# Parent  833244c861f601d94954d72fea2ff1f5e4afbb5d
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(-)

diff -r 833244c861f6 -r 927b30e32709 config/kernel.in
--- a/config/kernel.in	Sun Sep 28 21:30:16 2008 +0000
+++ b/config/kernel.in	Sun Sep 28 21:31:13 2008 +0000
@@ -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
 
diff -r 833244c861f6 -r 927b30e32709 config/kernel/bare-metal.experimental.in
--- a/config/kernel/bare-metal.experimental.in	Sun Sep 28 21:30:16 2008 +0000
+++ b/config/kernel/bare-metal.experimental.in	Sun Sep 28 21:31:13 2008 +0000
@@ -3,13 +3,9 @@
 config KERNEL_bare_metal
     select BARE_METAL
     help
-      Say 'y' here if you want a simple C compiler with no C library.
-      
-      'Bare metal' also refer to those programs that run without any kernel.
+      'Bare metal' refers to those programs that run without any kernel.
       
       You probably want to say 'y' here if you plan to use your compiler
-      to build only kernels or bootloaders.
-
-config BARE_METAL
-    bool
-    default n
+      to build bootloaders. It is not yet suitable to build Linux kernels,
+      though, because the APCI stuff relies on the target C library headers
+      being available?!?!...