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 ea8115a423ec33f401c1513820ac3d6a7a761ef4	libsel4debug
040000 tree 2d28c30d0c645b1e73b4f2a17d62cf781116e2c1	libsel4muslcsys
040000 tree 522b5952eedd650f27c6865fb8bfdadb87060d25	libsel4platsupport
040000 tree 6148371086e3574ee19baa970e2df351f693b004	libsel4serialserver
040000 tree 149ef268c5ab16a718e2978e987d813b99b7889d	libsel4simple-default
040000 tree 804b0951dbe7a849d698899fc606e93aabdeea20	libsel4simple
040000 tree 55b39243c2d5223f4821966fc1be2518d42bf108	libsel4sync
040000 tree 044d24d85cbb852ea26d1c9f2c5abac22e8f6c47	libsel4test
040000 tree 03231c51ba6b2151227b86aae99b4a7b85a3bd9c	libsel4utils
040000 tree d67a48182b368ff154fb9d0c6f3a10d8493bb4fe	libsel4vka
040000 tree 889101db58f6aa2fd569640316a43010006e7c4a	libsel4vmm
040000 tree d3e590acd4e2e3eb5982b9f24ae5ed507aed250b	libsel4vspace