100644 blob 1093a8aaca055f32939a6c07dcad762d3b2d323a	CMakeLists.txt
100644 blob 2c9029204b652d406fd0cf68851e5061caa35a01	Kbuild
100644 blob 831e755751b8d19d4ee2c0bd4251cab8b7f3ba93	Kconfig
100644 blob 3c78ecfa3884be30578cf98d1fb35a082eb36c72	LICENSE_BSD2.txt
100644 blob 9ab683f25c4fd433abc858e680a4153810956100	Makefile
040000 tree 574f508ff6e54ce42f191674059642e7a270b64c	arch_include
040000 tree ae92b23ed2123192879e3335dfd9c886d2b86c7a	include
040000 tree 84c2d9f457309f015feefa3c31f6e323cab7a075	sel4_arch_include
040000 tree e7d4eae1951268b3eb9c23471cccdfaf16b0f6c9	src