100644 blob 16923762f3fcef61e8c590462da8a74f72ff1380	CMakeLists.txt
100644 blob 885019511c7aaa75d9b6422fad9855d4180b330d	Kbuild
100644 blob cceb638a892691d4921ff91e2e3b408e468a1116	Kconfig
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob c68e45d0000240a9730e4cfee3119af56eab57f9	Makefile
100644 blob 707547e01aca4346b6a9bd2102ea48535fc19ecd	README.md
040000 tree 63d7d025ab047ddf8dd5d15f94b883c29e8f1d3a	arch
100644 blob 0d9c782f350beb6af635e605237d2316eb3484fb	example_bootstrap.c
040000 tree 00e597bdb60ee1ef3b6ff38acd9c7cdd48ff0d28	include
040000 tree acf5c26477def3dd0738631c65d7cf62e1a883e9	sel4_arch
040000 tree 4161144bcfda85f5a21ca1a9e02c7c65de35de2a	src