100644 blob 6abb3f7541acbf6f6249dc87cbce5ff4b5504951	autostart.repl
100644 blob 23aa097b4702ecd701a7b66a78f6c5b9bebd82f0	cantrip.mk
100644 blob 923af29f5879569d0b6784505eb1c83bef0e101e	cantrip_apps.mk
100644 blob 5eb6f2694da7327814189e718f5a1c30e0915936	cantrip_builtins.mk
100644 blob 20e8f3d94ec93505d8d1ddc2874730de966341e4	platform.mk
100644 blob ea8b0d488b8add77cea6f7731e332066fd96942d	setup.sh
100644 blob daf74cc831926dc438d7162e3f7190bf20f3134d	sim.mk
100644 blob a795e6100004adaaa492aba7af340da320140764	sim_sel4test.mk