100644 blob 62109c636d35e6efed4a253ccc0fd0d31a40cbb7	crt1.c
100644 blob f00bf61cc0bf559be89e9c0c7bf66b59bbe0768d	env.c
100644 blob 7dde43f06d220af92040618a79c2aaabc9b9f21f	init.c
100644 blob c6a52250a00918e46004e263fefc8eaf15b3be26	init.h
100644 blob 5a8b333c50d63b8e6a261bf21ea6a311aebe352e	memcpy.c
100644 blob badc07be96d468cdd4fc2f337960928fb634647c	memset.c
040000 tree 62d3a6b9dac25e94202854cf8e9fb4ed0fe0fb8f	sel4_arch
100644 blob c8f4e5266e96219208e3fe50cfc970de65903e79	start.c
100644 blob 374d7f58d281c95cead40e584dcd3f63157150cf	start_root.c
100644 blob b2ff76d9ecdfd07ab5de456971e9c91d32f506df	util.h
100644 blob de07ad90cd59b9fa6e9a8afb0ebf22df8ed9b134	vsyscall.c