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 050cfe68e983cd8bddb1eb1c944393f034c6be88	libsel4allocman
040000 tree 079f5f59ca4a674c2d38883d3cd87791b8e6e48a	libsel4bench
040000 tree 38aa03c6d0b52ee880752a8a5dea369acfd13ed2	libsel4debug
040000 tree 863222954f7771f61cf11d15d73746a24e69baa0	libsel4muslcsys
040000 tree 6e6df698ab61d3063a0929c1cbf8e98d1166831a	libsel4platsupport
040000 tree 33069011041b84c3a158aea04578f1f752a9dd33	libsel4serialserver
040000 tree 149ef268c5ab16a718e2978e987d813b99b7889d	libsel4simple-default
040000 tree 804b0951dbe7a849d698899fc606e93aabdeea20	libsel4simple
040000 tree 55b39243c2d5223f4821966fc1be2518d42bf108	libsel4sync
040000 tree 3aa8e5a19c39be57e1dbb7c23bc8bfc446d0e60a	libsel4test
040000 tree d2b0dd1b9605142bb78e59343b20272db99d95bb	libsel4utils
040000 tree 62a55ad4063fcc48013dac1774fde63ad79e1854	libsel4vka
040000 tree 8f707228516f090edce5cb7e49a1b01da5ee4d81	libsel4vmm
040000 tree bf1e280a5b9afaa2ce3564862caea8e0ee97a00d	libsel4vspace