100644 blob 222500ac1f60ba064308385ace7467858f580f2c	CMakeLists.txt
100644 blob a3662c99e0844358b5f0c7c46cd1c97db95da674	Kbuild
100644 blob 195dd1d98695417c99efdad03ce3aac903238449	Kconfig
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob 013dfc2df73aa9f0f2311ee27c0888c975d2352f	Makefile
100644 blob a6fe4c4d6b583245f639010b8766a80e2e146781	README.md
040000 tree 41b8c48a3265f909e4194a6137166d43602e8748	arch_include
040000 tree cb2b96b23b9242f526d0c24757e166f2cce6c58f	include
040000 tree 5f03bf0381bf9182b12abe03a5609a530d24d197	sel4_arch_include
040000 tree 3649da2455e64cb35ea119c7a1d9ac2203b1ea6f	src