1.1 --- a/config/kernel/bare-metal.experimental.in	Tue Sep 16 17:39:40 2008 +0000
     1.2 +++ b/config/kernel/bare-metal.experimental.in	Mon Sep 29 18:16:03 2008 +0000
     1.3 @@ -3,13 +3,9 @@
     1.4  config KERNEL_bare_metal
     1.5      select BARE_METAL
     1.6      help
     1.7 -      Say 'y' here if you want a simple C compiler with no C library.
     1.8 -      
     1.9 -      'Bare metal' also refer to those programs that run without any kernel.
    1.10 +      'Bare metal' refers to those programs that run without any kernel.
    1.11        
    1.12        You probably want to say 'y' here if you plan to use your compiler
    1.13 -      to build only kernels or bootloaders.
    1.14 -
    1.15 -config BARE_METAL
    1.16 -    bool
    1.17 -    default n
    1.18 +      to build bootloaders. It is not yet suitable to build Linux kernels,
    1.19 +      though, because the APCI stuff relies on the target C library headers
    1.20 +      being available?!?!...