100644 blob 427c2aa61217626c7c1f04ab972a19a91ce43521	CMakeLists.txt
100644 blob 526eac29fcc81a364805d881dc2dabd540051479	LICENSE_BSD2.txt
100644 blob 004925d864b9a95a324139dcf7166343c5b626e4	LICENSE_GPLv2.txt
100644 blob 7de18d739b0bbff19b3898e0745f4083a09b2058	README.md
040000 tree d198c7bd42e790d328c8f10854a3575fa9323f4d	arch_include
040000 tree 97a806e44d9b7ad249e06d49afee5eea1ed35a50	docs
040000 tree 2b9d46bbe06989ad06ac11e1dd4bf4b00155e5b5	include
040000 tree 7f48d9f68b650f7cc549c54217c2b8955116d36a	sel4_arch_include
040000 tree ff3f2482594eb044e73570e50e109a9f3c56c086	src