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 09a0d8726064d919260290208a117007a02a7adc	setup.sh
100644 blob 89b6ebebe54126279fd9be3ad631cb5c5bd4acbb	sim.mk
100644 blob a795e6100004adaaa492aba7af340da320140764	sim_sel4test.mk