100644 blob ec9fd274727436e17049cba45c4712ee1ff7e7c7	Makefile.check
100755 blob 9f61f1e9b41a9ec72e8f458ed0439499418f95a7	run_mambo_p9_sreset.sh
100755 blob 10c7224de3c8a672743a1f55073d1956c2bf1272	run_mambo_sreset.sh
100644 blob d399a0dafaba3c229cdd4ef1cab528c5049d163d	run_sreset_world.tcl
040000 tree c5cab7684864bb05b915cfbf79c2177317e24a64	sreset_kernel