100644 blob 646b0fb86afaf21e2154c768a7e38e819170a621	CMakeLists.txt
100644 blob 98230206037e8461da0699b11abc11d5b6aa5fa7	LICENSE_BSD2.txt
100644 blob 01baceb992cb6453d5f8c298e533d5003c8005d6	README.md
040000 tree abe8e45af894bed53cd023049780e358ae7d51b9	arch_include
040000 tree 99057fb5024bd09b0f7ad9ced27198808192f358	include
040000 tree c383baaa64f7838a8afc9fdf3c82d288c929f6e5	mach_include
040000 tree 8cad185c795880e5bf63d2b6b61f9b00721e0771	plat_include
040000 tree 8fdd2493be55455dbbc7dada41c51fb277e5b0e1	sel4_arch_include
040000 tree c42d88ab57ff68c98914fa1082b58b5645c2c02b	src
040000 tree b35b9e8e0a2d9f3750171abf442a6538762ae913	tools