/src/kernel/
../
console.C
kernel.C
makefile
start.S