100644 blob 850cc5aad1cee4426721970ba1abf2c081444e7e	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree ccb203fe1956947bcb9e8b01fb802d28509b7bf4	arch_include
040000 tree 4ac91d05849739876464b3af5cec9cb9f817a3dd	include
040000 tree 8368f4f060cdceb124bbbd1b914469e100b5da55	sel4_arch_include
040000 tree 2f50ba08573f7b4aec74ba6530d4ce63b81ae3d1	src