100644 blob f4ddfcba32cacb2ffe20bd42b025b01bd3d79558	CMakeLists.txt
100644 blob 526eac29fcc81a364805d881dc2dabd540051479	LICENSE_BSD2.txt
100644 blob 004925d864b9a95a324139dcf7166343c5b626e4	LICENSE_GPLv2.txt
100644 blob a49379b3085c9d559963c9fdab4d50cc4a71cb52	README.md
040000 tree dc8c972d472872dac89b4e4b0e237b1fe0b42de9	arch_include
040000 tree eea00b491caa471479d3bd403ba3ce38a4d32020	include
040000 tree 7f48d9f68b650f7cc549c54217c2b8955116d36a	sel4_arch_include
040000 tree 87a5ef81d790cb5a69c6c3f786f6ac821634513e	src