100644 blob 427c2aa61217626c7c1f04ab972a19a91ce43521	CMakeLists.txt
100644 blob 526eac29fcc81a364805d881dc2dabd540051479	LICENSE_BSD2.txt
100644 blob 004925d864b9a95a324139dcf7166343c5b626e4	LICENSE_GPLv2.txt
100644 blob a49379b3085c9d559963c9fdab4d50cc4a71cb52	README.md
040000 tree d198c7bd42e790d328c8f10854a3575fa9323f4d	arch_include
040000 tree 2b9d46bbe06989ad06ac11e1dd4bf4b00155e5b5	include
040000 tree 7f48d9f68b650f7cc549c54217c2b8955116d36a	sel4_arch_include
040000 tree c2cac7ff63f0d544ec21c80f3de4f2c8915d954f	src