100644 blob 08726a989fe2bc2dfa2444346709e953753ed6c6	crt1.c
100644 blob 12d7b2c37477a08f0bf1f5649f57799793ff9330	env.c
100644 blob 47a41b9b4a08aadca128f0ef6a951ed643f744f1	init.c
100644 blob 2ce9e58b230dd4aa58ed692009f6f95934b1b339	init.h
100644 blob 672eaa12333c70e6816975a85222d0e3168c0d8f	memcpy.c
100644 blob 94ecdc0589898d5aa776ae869638fa845f47a220	memset.c
040000 tree 0dc020e601860ed10b4c6f6b90e268f12aca813c	sel4_arch
100644 blob 9035cdf5a94c46538a1b0ecfddb4edd60fe3ab01	start.c
100644 blob 69383ad644c1c766d9c7b98081be5d1e5810b94e	start_root.c
100644 blob 05995d7436fe4157e31ee32342e340bde1624da9	util.h
100644 blob abea5fb7f70d8aa10345c75b36f07974d8e2e368	vsyscall.c