100644 blob 0390cf662285756520ca18ed3ef35d860875a1c6	Makefile.check
040000 tree c2a406002b2861b583d900e5f8bdcd73b7d4ece2	hello_kernel
100644 blob 0e2922db6baf257c4642a70ebc2de8073c482520	run_hello_world.tcl
100755 blob 13112d000405735cedddb75224dfc957af3fc40c	run_mambo_hello_world.sh
100755 blob f8b0dae880d8eabe67ba965809932c5037ea6adf	run_mambo_p9_hello_world.sh
100755 blob cc5055ee7cbd6270f1dcd6477001d34797466a1d	run_qemu_hello_world.sh