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 96eca2ed3ee73e819bf10e6d5527a07fe7880e6c	libsel4bench
040000 tree 38aa03c6d0b52ee880752a8a5dea369acfd13ed2	libsel4debug
040000 tree 863222954f7771f61cf11d15d73746a24e69baa0	libsel4muslcsys
040000 tree 1daa51b85d4370c3e76602ceb162ca0a7be1bbb9	libsel4platsupport
040000 tree 33069011041b84c3a158aea04578f1f752a9dd33	libsel4serialserver
040000 tree aaac78f16766ec9743e27c503792e52553d25ec0	libsel4simple-default
040000 tree 1b56db5c27a6a6002c58fa8d3a40fca6564da299	libsel4simple
040000 tree 55b39243c2d5223f4821966fc1be2518d42bf108	libsel4sync
040000 tree 3aa8e5a19c39be57e1dbb7c23bc8bfc446d0e60a	libsel4test
040000 tree a34c58abefc7023368dd29d09eaaa25ccf41c29e	libsel4utils
040000 tree 62a55ad4063fcc48013dac1774fde63ad79e1854	libsel4vka
040000 tree 8f707228516f090edce5cb7e49a1b01da5ee4d81	libsel4vmm
040000 tree aaac7b012271bac742d99d593ad80d74ec77ed82	libsel4vspace