100644 blob bf145a0e4f977b659c4ceb35753faf4c0781974c	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 d11c84a86d903ca32cd63967761f83fbea77890a	src