/config/kernel/
../
bare-metal.in
linux.in
mingw32.in