config/kernel/bare-metal.in
author Daniel Zimmermann <netzimme@gmail.com>
Mon Feb 17 07:11:45 2014 +0100 (2014-02-17)
changeset 3288 41d8cd8250c9
parent 1030 e5bf882d6514
permissions -rw-r--r--
kernel/linux: pump ISL to version 0.12.2

kernel/linux: pump ISL to version 0.12.2

pump ISL to version 0.12.2

Signed-off-by: '"Daniel Zimmermann" <netzimme@gmail.com>'
[yann.morin.1998@free.fr: remove superfluous empty lines]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <93ee409eb70170262d84.1392617512@haus-VirtualBox>
Patchwork-Id: 320849
     1 # Bare metal config options
     2 
     3 ## select BARE_METAL
     4 ##
     5 ## help 'Bare metal' refers to those programs that run without any kernel.
     6 ## help
     7 ## help You probably want to say 'y' here if you plan to use your compiler
     8 ## help to build bootloaders. It is not yet suitable to build Linux kernels,
     9 ## help though, because the APCI stuff relies on the target C library headers
    10 ## help being available?!?!...