100644 blob 7f24dffd02ad428a38e27d85d6dfdd22f4ab55f8	Kbuild
100644 blob 760e5e58c1366632831a1c8b8395463129a31620	Kconfig
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob ca8e963d743a03212d78e99e92b0a185be7e86f3	Makefile
040000 tree 771a1850862d0cf17adbd74e536284cf25c2f894	arch_include
040000 tree 638fd1d94c1217b58e495a5d7a203c95d7a99581	include
040000 tree dacbcf6b679343c5a62588d7aa77585923aa9c9d	sel4_arch_include
040000 tree 991878837198d7f962faf9b6644a058e99a16bf7	src