100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob 72ffe8018278c97f489157c73d7e00cdc7893fea	README.md
040000 tree 17343791c41c5d08ba8d22abb6c06aed717f8c90	libsel4allocman
040000 tree 8b8c88d3cb735cc26367769511f56944f96c618a	libsel4bench
040000 tree 9d9effd522cb55974cdd2f73c7374dca5b73f5a0	libsel4debug
040000 tree 62bbbce4fa2bac9a8c3a4a81745edac005e78ad3	libsel4muslcsys
040000 tree f198f51464213141f0cb64628342f20b8663ed3f	libsel4platsupport
040000 tree 7b4631eddce08825a3a5a0778926c196649b5920	libsel4simple-default
040000 tree 0f68f0b164f1f966115cf02d132029872e0a4f82	libsel4simple
040000 tree f3e4ba1cb180f59c87ac5e8e0507144ff1725037	libsel4sync
040000 tree 22118637f310efd33eda535f89f41fafffb8d719	libsel4test
040000 tree 509bbc8de84ba1dc478309b104cdd69fffce9e72	libsel4utils
040000 tree ff195bd64216e3d5d64d113a8c319f084b63d5f3	libsel4vka
040000 tree c87cc271edff2ee7e4949c9ab7319a660be1b200	libsel4vmm
040000 tree 2c700398f213cb2ec23abbf8e79f638fbc88c348	libsel4vspace