100644 blob 427c2aa61217626c7c1f04ab972a19a91ce43521	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 94640f4fd49ad2a76864a446b3604804b8de9d07	include
040000 tree 7f48d9f68b650f7cc549c54217c2b8955116d36a	sel4_arch_include
040000 tree 8127b761c962549dbb0311679d1e5cf4ff111673	src