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 2fa81a83da0891ab1fb6efd5eb709c87313196db	libsel4allocman
040000 tree 96eca2ed3ee73e819bf10e6d5527a07fe7880e6c	libsel4bench
040000 tree ebefb4f08020ff5066d052f96221ba51c8b4e539	libsel4debug
040000 tree 863222954f7771f61cf11d15d73746a24e69baa0	libsel4muslcsys
040000 tree 3a9a583a2771eeee7b943f05a6b7c1cc26fb6ab0	libsel4platsupport
040000 tree 0e3fe8e034b2da3eb8db6ab1f9167ba2107945da	libsel4serialserver
040000 tree aaac78f16766ec9743e27c503792e52553d25ec0	libsel4simple-default
040000 tree 924b2b7aa78864c604d298f194b7289abce269ec	libsel4simple
040000 tree 59311808b523ec3804f85cd939ecec56da8620b8	libsel4sync
040000 tree 2c2dd8a6d374d8dc440878c766353fec18c7c6a5	libsel4test
040000 tree 715f5ae6eb13bb256daed806a986f4afd4d3a3aa	libsel4utils
040000 tree 62a55ad4063fcc48013dac1774fde63ad79e1854	libsel4vka
040000 tree 8f707228516f090edce5cb7e49a1b01da5ee4d81	libsel4vmm
040000 tree 04c4c6b6ebe48a9294211590f249b56f7bb0a727	libsel4vspace