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 0c8dc5232a5ab4bfb938fc5e2bcfb7cf10a0e172	libsel4allocman
040000 tree 5665e0dae628d8c0c3006859d12dc11597a94c12	libsel4bench
040000 tree cdc8602005edec8e100190c026e50c36a86323a1	libsel4debug
040000 tree 347aaeff18c4410e449f368fa8d9025d42994901	libsel4muslcsys
040000 tree ceb00876692d1b6a3be048c75ada790001a3a3e3	libsel4platsupport
040000 tree 229a549591a59debe2e005c60e0c0a2ce13698b5	libsel4serialserver
040000 tree 7584b7829b8bc1f1722a1260535713e00947d29c	libsel4simple-default
040000 tree 714341db24e3bed109c6a646fd899f48f188e1c5	libsel4simple
040000 tree 4919b4ce157b461c5c1d2c76c3df970f91cd908a	libsel4sync
040000 tree 053d2fb3232452f54e2fe39a0c2b4c2775e81711	libsel4test
040000 tree f37f1584bd4a244512ee475ffb190054854a07a9	libsel4utils
040000 tree 03e3df0f9bfe9bfc608978160f198210b6d9b900	libsel4vka
040000 tree 1b7e70e22797e1ecd718d79047ab1319b0f164c9	libsel4vmm
040000 tree c52ed5f7b756de644758078d136e076245b02150	libsel4vspace