100644 blob 66e2288a79b0e58023e9799af115559d9b2b43ea	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob 707547e01aca4346b6a9bd2102ea48535fc19ecd	README.md
040000 tree 4f7d6686189b5ff24657e292e3666bc71422677b	arch
100644 blob 0d9c782f350beb6af635e605237d2316eb3484fb	example_bootstrap.c
040000 tree 00e597bdb60ee1ef3b6ff38acd9c7cdd48ff0d28	include
040000 tree ebc59d1c527306a773aacd6ef61074ffefbf2ff0	sel4_arch
040000 tree 332fac06b548c54d7916169ea6e693faeaa68447	src