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(-)

# Kernel options

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

config KERNEL_VERSION

    string

choice

    bool

    prompt "Target OS"

source config.gen/kernel.in

endchoice

endmenu