100644 blob aba07e453e2a5a8e40f1eea4805d775f1fe28327	Kbuild
100644 blob 9f55d717a241520d4ff95d04aa466a8cae43230a	Kconfig
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob 9fb06423ffe2e9e73b06c1c3aabe6682f28318b6	Makefile
100644 blob 5c0ba1f3f5ca1c71e09280ade928ad0bedc33e09	README.md
040000 tree 2bbb41410a7da902a00720edb5c7786fbef9846f	arch_include
040000 tree 27c21a84dbdfbbe0387d05d08aa36274f33578e6	include
040000 tree e34978f3a1a5fe958c965dce5cba9aa89543bd77	sel4_arch_include
040000 tree 299da18a999f0cac5aaa962e57882e404f742075	src