100644 blob 2ae880d690c28143018bbb268fb5ca2cb1862c8a	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
040000 tree d685fab329a0e7c5927471c3a2f39e73fb57d307	arch_include
040000 tree 60d7e2d57156f2b4a9876ca78d7c8d274d83928e	include
040000 tree 860187d2eeb4886e3f47e3fe7abc812118a224cf	sel4_arch_include
040000 tree c3b8801537a98c659ee2591c97a4cb2f170978a6	src