1.1 --- a/config/kernel/bare-metal.in	Sat Nov 01 18:30:19 2008 +0000
     1.2 +++ b/config/kernel/bare-metal.in	Sun Nov 11 21:42:47 2012 +0100
     1.3 @@ -1,11 +1,10 @@
     1.4  # Bare metal config options
     1.5  
     1.6 -config KERNEL_bare_metal
     1.7 -    select BARE_METAL
     1.8 -    help
     1.9 -      'Bare metal' refers to those programs that run without any kernel.
    1.10 -      
    1.11 -      You probably want to say 'y' here if you plan to use your compiler
    1.12 -      to build bootloaders. It is not yet suitable to build Linux kernels,
    1.13 -      though, because the APCI stuff relies on the target C library headers
    1.14 -      being available?!?!...
    1.15 +## select BARE_METAL
    1.16 +##
    1.17 +## help 'Bare metal' refers to those programs that run without any kernel.
    1.18 +## help
    1.19 +## help You probably want to say 'y' here if you plan to use your compiler
    1.20 +## help to build bootloaders. It is not yet suitable to build Linux kernels,
    1.21 +## help though, because the APCI stuff relies on the target C library headers
    1.22 +## help being available?!?!...