100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob f678ea72f472a53d6515a4a1878ce58ddc3d279e	.licenseignore
100644 blob cd6f8b57c18144f078fdbc723da9e88dbbf99114	CMakeLists.txt
100644 blob adf44d9678faa4732f8b3818d1f007f94ec91b1f	FindseL4_libs.cmake
100644 blob 64659d8d7432a974feed80046bcee8314ec5f11d	LICENSE.txt
100644 blob 6a3459d1ee2cfa534aca68cdb5805ee16e9a8d21	README.md
040000 tree 7c24de2cada2eb6504f918833412fd54067ffdcb	libsel4allocman
040000 tree e54f010af52943946ce436439d4686d5b131634a	libsel4bench
040000 tree 4b3329f4265e759b148c0f6fc368273174fd75a6	libsel4debug
040000 tree 1a9ed6e155bc6b33dda2163141f7313b3237a43d	libsel4muslcsys
040000 tree eb32c3e36bd022294d0be9a276f8f2531294aa4a	libsel4platsupport
040000 tree 1cdfecb360136b77dc89a643de2e1cbdec6e56dc	libsel4serialserver
040000 tree 7b755f67bb7f1ff6bae6e27aa7ded084a10f5114	libsel4simple-default
040000 tree fc50ae56e000df163723d91a40ee6898480c1b4a	libsel4simple
040000 tree b361aecb1354382fdf29f5378037cb5553117c19	libsel4sync
040000 tree 8453965a020e1b8fcec7043e28996728d9e70266	libsel4test
040000 tree 39565380a817fcf7ae2975e54ded2817a85f3fbb	libsel4utils
040000 tree 09cc53ca7fdf4f18acb5170141e7a42bcb902841	libsel4vka
040000 tree 1979c086c08aae35db89154e777b14f40c5a63ac	libsel4vspace