/src/
../
boot
kernel
output