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 a9ca14b52784cbef7f68caba7b803d2693d773bf	include
040000 tree bfb487a5c21b465cfc231bb89643ce0ff5f0707d	sel4_arch_include
040000 tree 9723b0bedd7941acae058bb7511781a88ae3a09b	src