config/kernel/bare-metal.experimental.in
2008-09-28 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.
2008-09-16 Generate the kernel config choice, rather than having it hard-coded: