100644 blob 08726a989fe2bc2dfa2444346709e953753ed6c6	crt1.c
100644 blob e9dc80fa56b00c859c647030e8f1eb5ceb42627b	env.c
100644 blob 47a41b9b4a08aadca128f0ef6a951ed643f744f1	init.c
100644 blob 2ce9e58b230dd4aa58ed692009f6f95934b1b339	init.h
100644 blob 757ab2a71a9c47fb24a283a7e53f62da8ab92e83	memcpy.c
100644 blob 66e42f31abfac921c3d1128f5799d89915d21a94	memset.c
040000 tree 0dc020e601860ed10b4c6f6b90e268f12aca813c	sel4_arch
100644 blob 9035cdf5a94c46538a1b0ecfddb4edd60fe3ab01	start.c
100644 blob f918a98e33a39bbecaa868f2fea06028c7524a17	start_root.c
100644 blob 05995d7436fe4157e31ee32342e340bde1624da9	util.h
100644 blob abea5fb7f70d8aa10345c75b36f07974d8e2e368	vsyscall.c