config/kernel/bare-metal.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Wed Jan 01 19:14:20 2014 +0100 (2014-01-01)
changeset 3265 c010db3c6ab7
parent 1030 e5bf882d6514
permissions -rw-r--r--
kernel/linux: fix fall-out due to arm64 special case

Cset 3b61be3d7aa6 (prepare for arch whose kenel name is not the standard name)
failed to name a variable consistently, so all archs but arm64 were broken.

Fix that by renaming the variable in a consistent way.

Reported-by: Maxime Hadjinlian <maxime.hadjinlian@gmail.com>
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
     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?!?!...