100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob 72ffe8018278c97f489157c73d7e00cdc7893fea	README.md
040000 tree 3471fe3b880eff9268b955140ea56098c5b9c3bd	libsel4allocman
040000 tree 034a87fdfcbd94007a70f55531f33cd536dce591	libsel4bench
040000 tree edc30afb3e467b96ea1491abeedcb204dadead8e	libsel4debug
040000 tree 62bbbce4fa2bac9a8c3a4a81745edac005e78ad3	libsel4muslcsys
040000 tree 06c2f3e41e951786166cf1aa4a966a02c455306f	libsel4platsupport
040000 tree 7b4631eddce08825a3a5a0778926c196649b5920	libsel4simple-default
040000 tree 0f68f0b164f1f966115cf02d132029872e0a4f82	libsel4simple
040000 tree f3e4ba1cb180f59c87ac5e8e0507144ff1725037	libsel4sync
040000 tree 22118637f310efd33eda535f89f41fafffb8d719	libsel4test
040000 tree 3baf926177d6b7e64ac53182b68e63b319796c14	libsel4utils
040000 tree c2bad1c649cb145cd808560c2093eb9b12dcd387	libsel4vka
040000 tree c87cc271edff2ee7e4949c9ab7319a660be1b200	libsel4vmm
040000 tree 133069ffcf40b22902b00761b7249d6b471533c3	libsel4vspace