100644 blob 81a9a6b833502d0e7ec303405c9b6eedc10ea2bf	CMakeLists.txt
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree 5f09fc1a586f400755c765731cce12c9d223a3ba	arch_include
040000 tree 23db33569dcb502b31071a0fe253369e652da52a	include
040000 tree f7256ba4f95491178a66456e2abb39d5d19f054f	sel4_arch_include
040000 tree a2776a11e0f6d15a1e213e50ff92fc074ca8bfd8	src