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 eef1b29e8032b226bae9d94f7ba2b62516abcf03	libsel4platsupport
040000 tree 1cdfecb360136b77dc89a643de2e1cbdec6e56dc	libsel4serialserver
040000 tree 425bb74f3472197c129015de052cc078b5bfc612	libsel4simple-default
040000 tree 190e2e52a9a38b0b8c678be6121972e39a08c106	libsel4simple
040000 tree b361aecb1354382fdf29f5378037cb5553117c19	libsel4sync
040000 tree 5d637401b7ad54cd46398bbea5a5a7e4b1d307b2	libsel4test
040000 tree cf418242d69a85d5df2d70a26e555568a9c179cb	libsel4utils
040000 tree bc2dd28c00d8f5f5c539186d9687ec3ac7731ff4	libsel4vka
040000 tree 6bc45a7a5ac5f0c225ca7a3144d04dcbd1de0c8a	libsel4vmm
040000 tree 1acc32e1d6d70d1239679341f98bbc95902a1b49	libsel4vspace