100644 blob 62109c636d35e6efed4a253ccc0fd0d31a40cbb7	crt1.c
100644 blob ed627f834191de6a1cedd874099d5e38d83a5247	env.c
100644 blob d4b2636e399394c5e2530f1389d2153f3fa38c59	init.c
100644 blob c6a52250a00918e46004e263fefc8eaf15b3be26	init.h
100644 blob ffa7efe0ac8d94a4b85ecde60b7d287ff11d9e4b	memcpy.c
100644 blob 0ed07848a5b2c51c8ff4e9a35f05dfdd0579c916	memset.c
040000 tree 62d3a6b9dac25e94202854cf8e9fb4ed0fe0fb8f	sel4_arch
100644 blob c8f4e5266e96219208e3fe50cfc970de65903e79	start.c
100644 blob 677d5f7c2d0db85370919987de9e98f853ef8ae7	start_root.c
100644 blob b2ff76d9ecdfd07ab5de456971e9c91d32f506df	util.h
100644 blob de07ad90cd59b9fa6e9a8afb0ebf22df8ed9b134	vsyscall.c