100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob f678ea72f472a53d6515a4a1878ce58ddc3d279e	.licenseignore
100644 blob f00e26836e63f6b17c07a02a69d75ed57f50d29b	CMakeLists.txt
100644 blob 64659d8d7432a974feed80046bcee8314ec5f11d	LICENSE.txt
100644 blob 6a3459d1ee2cfa534aca68cdb5805ee16e9a8d21	README.md
040000 tree e71589679a00585ac56262d49e0e152576d20e25	libsel4allocman
040000 tree ed349cd37aa6953638864241f5c8477d91c31230	libsel4bench
040000 tree a93a5d0685ea577e52738af7421ecbb91633c7a1	libsel4debug
040000 tree 36eedbdef75503b22843ef1ef00269165e5d8a3a	libsel4muslcsys
040000 tree 58ecb5f844fafeae8a6a1dc62a125a82c6a3105c	libsel4platsupport
040000 tree 6148371086e3574ee19baa970e2df351f693b004	libsel4serialserver
040000 tree 149ef268c5ab16a718e2978e987d813b99b7889d	libsel4simple-default
040000 tree 804b0951dbe7a849d698899fc606e93aabdeea20	libsel4simple
040000 tree 55b39243c2d5223f4821966fc1be2518d42bf108	libsel4sync
040000 tree 044d24d85cbb852ea26d1c9f2c5abac22e8f6c47	libsel4test
040000 tree 3fe3ae1d0097a9e774a02e51ca25a60b34e269ea	libsel4utils
040000 tree d67a48182b368ff154fb9d0c6f3a10d8493bb4fe	libsel4vka
040000 tree 823d5e4d6ca0a1d9fcbc501dae88b76c714733c3	libsel4vmm
040000 tree 0527ef4443e7041fe36e1854390238d992cbb3b1	libsel4vspace