100644 blob 62109c636d35e6efed4a253ccc0fd0d31a40cbb7	crt1.c
100644 blob ed627f834191de6a1cedd874099d5e38d83a5247	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 fe6aa39437378c9fdcbdbba40ea2a638d7b02534	start_root.c
100644 blob b2ff76d9ecdfd07ab5de456971e9c91d32f506df	util.h
100644 blob de07ad90cd59b9fa6e9a8afb0ebf22df8ed9b134	vsyscall.c