100644 blob 235f4b3dc594471df660fe012ee5d2a7c01c1d7f	CMakeLists.txt
100644 blob 885019511c7aaa75d9b6422fad9855d4180b330d	Kbuild
100644 blob cceb638a892691d4921ff91e2e3b408e468a1116	Kconfig
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob 0e6279515c8f39e1cf310582fd111fa7872f82cd	Makefile
100644 blob 707547e01aca4346b6a9bd2102ea48535fc19ecd	README.md
100644 blob 0d9c782f350beb6af635e605237d2316eb3484fb	example_bootstrap.c
040000 tree 00e597bdb60ee1ef3b6ff38acd9c7cdd48ff0d28	include
040000 tree 3303141feb3d4202715ce53e8aab15e8238f5ae0	sel4_arch
040000 tree d21fa7f17469d26d0f8b9357c2f3f24848fc62b0	src