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 cfbbd5c542b33a08f555e77d08010b6624e79372	libsel4allocman
040000 tree 5665e0dae628d8c0c3006859d12dc11597a94c12	libsel4bench
040000 tree 96989abf9c18cc22bafac8e91b30413aaec5d455	libsel4debug
040000 tree 347aaeff18c4410e449f368fa8d9025d42994901	libsel4muslcsys
040000 tree 39f544696e85fa8b8c0c569b5ed092f1c5a6ba61	libsel4platsupport
040000 tree 229a549591a59debe2e005c60e0c0a2ce13698b5	libsel4serialserver
040000 tree b78a0640e5dea72860e5a04d1cc4ea5a90be9bad	libsel4simple-default
040000 tree d0de6846bda94391e698c9460a47e6a06fd2053b	libsel4simple
040000 tree 4919b4ce157b461c5c1d2c76c3df970f91cd908a	libsel4sync
040000 tree 053d2fb3232452f54e2fe39a0c2b4c2775e81711	libsel4test
040000 tree 4a060f0cfad01febdd1266ed95020b2d4390b3a0	libsel4utils
040000 tree 9552f91a983e2bb16adf792601f287f8399cefa1	libsel4vka
040000 tree 1b7e70e22797e1ecd718d79047ab1319b0f164c9	libsel4vmm
040000 tree 162883bc9f9e74ef1fa824fff94755ccc41ff7e4	libsel4vspace