/test/hello_world/
../
Makefile.check
hello_kernel
run_hello_world.tcl
run_mambo_hello_world.sh
run_mambo_p10_hello_world.sh
run_mambo_p9_hello_world.sh
run_qemu_hello_world.sh