100644 blob 9ebbce7f432523a1e3fd564bb923362be0a9fbf8	CMakeLists.txt
100644 blob 0589a62c14248ab11c3e1266e733d63ec1556c66	README.md
040000 tree fe98d57ffaa2ef87ccc224d9a08f510aed3b1023	arch
100644 blob 8c8ecd545069185d6ca6207255ca4f125519a04c	example_bootstrap.c
040000 tree d92cbb9ca5ecc8c98e434f6762227fb49409464a	include
040000 tree 546bfae3b352ae49a28713082a1d193529d59c36	sel4_arch
040000 tree 5be0d688b42bd3cb53ea693c12d060576ac2ad3a	src