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 c530986158b57d286d50765d0b34353d423b62d4	arch_include
040000 tree 4076660f3b29df4c53aafd0fbd5b7f7e57b43286	include
040000 tree 6b2f2f8730a4273b6c0eb83a858163b8c86f6ac4	sel4_arch_include
040000 tree b60ce24f4ba2adb8c605d62a2e1d81e983ac67fd	src