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 b040830de60ef456a1809e1ae2158a00ee2fa31b	include
040000 tree bfb487a5c21b465cfc231bb89643ce0ff5f0707d	sel4_arch_include
040000 tree 7dc2095d867bbbffdd91d245829c48671d76fbce	src