Require GNU awk at ./configure time.
Some components (specifically {,e}glibc) will not build when awk
is not GNU awk. Make ./configure check for GNU awk.
1 # Bare metal config options
3 config KERNEL_bare_metal
6 'Bare metal' refers to those programs that run without any kernel.
8 You probably want to say 'y' here if you plan to use your compiler
9 to build bootloaders. It is not yet suitable to build Linux kernels,
10 though, because the APCI stuff relies on the target C library headers
11 being available?!?!...