100644 blob ec9fd274727436e17049cba45c4712ee1ff7e7c7	Makefile.check
100755 blob 1f652400057f9d30b2e3a0f375e5d419cb75f311	run_mambo_p9_sreset.sh
100755 blob 298a582f8f9c9bd5a539676daa55ea3b3b630dd6	run_mambo_sreset.sh
100644 blob 38da0d23542a54dfe1dc4babdf2a626633fc2238	run_sreset_world.tcl
040000 tree ea2b3aba34a22ed50d0fb3e158fc5e80d474f03f	sreset_kernel