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 a50768f25adc2d58f5643cad04cdc62f84cd6ef3	arch_include
040000 tree da8b50ba5ad4388c305665ad023477130afca09c	include
040000 tree bfb487a5c21b465cfc231bb89643ce0ff5f0707d	sel4_arch_include
040000 tree a2475b57d2609551885391f3c34fd97ec5d254c6	src