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 20755b4024c3e4861eb2754c7b3f0bdea5f82116	example_bootstrap.c
040000 tree 673159b72b37050f4bc871264403d6c8a0cdb6c6	include
040000 tree a99cb02319353e41ad317db46ceb553fa0a6cbc6	sel4_arch
040000 tree efa55cf2403a9b300eb90dc0b86ecc91d3077d1f	src