100644 blob 0390cf662285756520ca18ed3ef35d860875a1c6	Makefile.check
040000 tree 3ab8892418ec92679a7e4ba77351a2c0532711c4	hello_kernel
100644 blob bbd916c396746d704d643f1fccfee384da5a69dd	run_hello_world.tcl
100755 blob a9f5b8ad910163c47a1c085eec20c36c50884be7	run_mambo_hello_world.sh
100755 blob e9eee8c394fd0185215d4ff0fe32b4cce69c9f5e	run_mambo_p9_hello_world.sh
100755 blob 9ca35d382610ba40d59a80d35f246c1ca2e4b2b7	run_qemu_hello_world.sh