100644 blob b6ed37606decf013d0525fbca61180c67b533303	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 aaf96199ef78fefd52d899af0f2d42cf612b58cb	include
040000 tree 7f48d9f68b650f7cc549c54217c2b8955116d36a	sel4_arch_include
040000 tree dbae588377c23578abd7837a08b5e2d9d8c9e83d	src