100644 blob a162bbecc0ef095d7bc1c21b9a074c8b204274d3	CMakeLists.txt
100644 blob 237199c466ee172edb445c9bfb5db5d96ee64b69	Kbuild
100644 blob d956eb3242988ef618527efb33f8ac73f9c18f93	Kconfig
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob e7ac8381c9ceb89a5c89920c8bf42f92f097d436	Makefile
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree f41d5edcbd2cd97d3256b94efc604c8d8fb13ae7	arch_include
040000 tree 4d3ec7e9ec6210a5520c9361ea5e8b2c028a989e	include
040000 tree bfa364cca41511d2f246398c03a06bcd83289973	sel4_arch_include
040000 tree 4737450d05c36be1110b0c9c4591e4ae9829b981	src