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 7c24de2cada2eb6504f918833412fd54067ffdcb	libsel4allocman
040000 tree 2d35df09d6f5f1edf4e08732b25a8d8c9ba60b0c	libsel4bench
040000 tree 1c8c481658d398db4cb7c4d01d9a44d9221cc849	libsel4debug
040000 tree 0183843fbf759fcda3208898ecac726f9ba495ca	libsel4muslcsys
040000 tree aeb429a29486bf19071c42a6525b3e33afcf2213	libsel4platsupport
040000 tree 1cdfecb360136b77dc89a643de2e1cbdec6e56dc	libsel4serialserver
040000 tree bf05a8c25fb81ea31bc150a01361ad97f6015f4b	libsel4simple-default
040000 tree 1a334cf0e793789abc5bb053317c85d77af70485	libsel4simple
040000 tree e0bf2a53ab1e87015c774a1ca1de1ea909f9d7ee	libsel4sync
040000 tree 5a9f14baf6da2110c9064ee582b201262e3afbc4	libsel4test
040000 tree 1c6963f2c0bd66247cb6a694f1bf964c0ff1817b	libsel4utils
040000 tree 612e424a6fa5245eba4ad2e9a6ab30334e4cb773	libsel4vka
040000 tree 6bc45a7a5ac5f0c225ca7a3144d04dcbd1de0c8a	libsel4vmm
040000 tree 1acc32e1d6d70d1239679341f98bbc95902a1b49	libsel4vspace