100644 blob face790a12287751fc41e4082371d72d5d88330a	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 71f426c75a73aef42d9341b6a35a0bce4a24b3f1	src