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