/src/arch/i386/
../
Config
Makefile
README.i386
core
drivers
firmware
include
kir-Makefile
prefix
scripts
transitions