100644 blob eee866599f054fab574dbb659241b16aff5c7764	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree ccb203fe1956947bcb9e8b01fb802d28509b7bf4	arch_include
040000 tree 322de45ba8e9b6a3ed3290a5149aa3ffb78eb4fc	include
040000 tree 94ccc7df76642321f100df1c380b450768590c9a	sel4_arch_include
040000 tree 96f01aa2d16bba65f8800d2c19f72e8a4b9cb7ac	src