100644 blob 7f24dffd02ad428a38e27d85d6dfdd22f4ab55f8	Kbuild
100644 blob 760e5e58c1366632831a1c8b8395463129a31620	Kconfig
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob ca8e963d743a03212d78e99e92b0a185be7e86f3	Makefile
040000 tree dc151d5368037b12895f0d5d33e88ec3213b9928	arch_include
040000 tree cc9fd0fca185ca01764e9efac89d50ae3f71634d	include
040000 tree 73946a083b615bd067f52d375e69202439eb0f79	sel4_arch_include
040000 tree 8807420a6e6504eab5dae2c49e22dc493ff1a69c	src