100644 blob d1c8f9e5adacc54ede1ed88dcb6d59aa8f7c0548	.hgignore
100644 blob 237199c466ee172edb445c9bfb5db5d96ee64b69	Kbuild
100644 blob d956eb3242988ef618527efb33f8ac73f9c18f93	Kconfig
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob e7ac8381c9ceb89a5c89920c8bf42f92f097d436	Makefile
100644 blob b228a04154cf4f277addaced82c9d689147cc325	README
040000 tree 2318267070c9ec70fda204eca121a15d117bb35e	arch_include
040000 tree 69f5a70113fb71f926101fbb4c4765da485e931e	include
040000 tree 81c2e65a846611307b304a60775757b9c78272d3	sel4_arch_include
040000 tree 3661a6ed9ca8f8116f309b1250f90fc20ec6e4c9	src