100644 blob 8cf15cb2f33eabb858a364b7a38b309097dde10c	Makefile.check
040000 tree 3ab8892418ec92679a7e4ba77351a2c0532711c4	hello_kernel
100644 blob bbd916c396746d704d643f1fccfee384da5a69dd	run_hello_world.tcl
100755 blob a9f5b8ad910163c47a1c085eec20c36c50884be7	run_mambo_hello_world.sh
100755 blob b492a9f21a83143983dd1d5fc27b36031888fae6	run_mambo_p10_hello_world.sh
100755 blob e9eee8c394fd0185215d4ff0fe32b4cce69c9f5e	run_mambo_p9_hello_world.sh
100755 blob 9ca35d382610ba40d59a80d35f246c1ca2e4b2b7	run_qemu_hello_world.sh