100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob 72ffe8018278c97f489157c73d7e00cdc7893fea	README.md
040000 tree d003cba2b423a93d0c5a1e09449552ac0c46292c	libsel4allocman
040000 tree 8b8c88d3cb735cc26367769511f56944f96c618a	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 054e0067c154d7e808b0947aec81e3d2bdd44e12	libsel4test
040000 tree d97bdd1ce6e317b035ec8b11edb84c3fe85b6939	libsel4utils
040000 tree c2bad1c649cb145cd808560c2093eb9b12dcd387	libsel4vka
040000 tree c87cc271edff2ee7e4949c9ab7319a660be1b200	libsel4vmm
040000 tree 133069ffcf40b22902b00761b7249d6b471533c3	libsel4vspace