100644 blob 688a7db579beeb7035415b9388d59696f6b40d5e	CMakeLists.txt
100644 blob 6ebd40d400a20104078569aefc2ed5694953037e	Kbuild
100644 blob 167b996b75c89f5eb123a3a3c2752ad87cf65c91	Kconfig
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob 2f5b03b7ffa83d0c459aeb9c6f7a2e69459c9c4b	Makefile
040000 tree c0c3e687274d0470039861ff7fc22e334ef63ce0	arch_include
040000 tree 9cc8ec557d0b31c9ec6790f9ed67ddaf70c3b099	include
040000 tree ab2552256d456af6dcbf3dc7c24289f35f747127	sel4_arch_include
040000 tree b60ce24f4ba2adb8c605d62a2e1d81e983ac67fd	src