100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob 72ffe8018278c97f489157c73d7e00cdc7893fea	README.md
040000 tree 2dffc140c316eacbc3b6a40e0fa52c2e3ef3b41b	libsel4allocman
040000 tree 418256b853a335295b3838abe804fe38803a3dac	libsel4bench
040000 tree 9d9effd522cb55974cdd2f73c7374dca5b73f5a0	libsel4debug
040000 tree 62bbbce4fa2bac9a8c3a4a81745edac005e78ad3	libsel4muslcsys
040000 tree 471a39d2b08464047573cbe26b018be10d88d9b0	libsel4platsupport
040000 tree 7b4631eddce08825a3a5a0778926c196649b5920	libsel4simple-default
040000 tree 0f68f0b164f1f966115cf02d132029872e0a4f82	libsel4simple
040000 tree f3e4ba1cb180f59c87ac5e8e0507144ff1725037	libsel4sync
040000 tree 054e0067c154d7e808b0947aec81e3d2bdd44e12	libsel4test
040000 tree 9a0f2e25be0b7d136c7818fb5f6756a7664481c4	libsel4utils
040000 tree ff195bd64216e3d5d64d113a8c319f084b63d5f3	libsel4vka
040000 tree c87cc271edff2ee7e4949c9ab7319a660be1b200	libsel4vmm
040000 tree 2c700398f213cb2ec23abbf8e79f638fbc88c348	libsel4vspace