100644 blob 8e66f453a87232b5a66df9e2e47233af6fe60d84	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree ccb203fe1956947bcb9e8b01fb802d28509b7bf4	arch_include
040000 tree 533cbad37e12c12429f8964affd060464abd2f1b	include
040000 tree 94ccc7df76642321f100df1c380b450768590c9a	sel4_arch_include
040000 tree 96f01aa2d16bba65f8800d2c19f72e8a4b9cb7ac	src