100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob f678ea72f472a53d6515a4a1878ce58ddc3d279e	.licenseignore
100644 blob 9a27dacdd88667e47f30c87c3d823cae5ad14e1c	CMakeLists.txt
100644 blob adf44d9678faa4732f8b3818d1f007f94ec91b1f	FindseL4_libs.cmake
100644 blob 64659d8d7432a974feed80046bcee8314ec5f11d	LICENSE.txt
100644 blob 6a3459d1ee2cfa534aca68cdb5805ee16e9a8d21	README.md
040000 tree e5a1c1f531705d575655e387355f63bae2ef0b29	libsel4allocman
040000 tree 88a4b80073eda81d18dc0bbe160de6c77cc6b2e1	libsel4bench
040000 tree 2adfafc66506261ff93182a7060dd42e29285246	libsel4debug
040000 tree b4908eb7476f60277c273f05c62422e5457d7131	libsel4muslcsys
040000 tree 7dee0981353879f00d4533a38a7d46f04ad75bd0	libsel4platsupport
040000 tree 1cdfecb360136b77dc89a643de2e1cbdec6e56dc	libsel4serialserver
040000 tree 7b755f67bb7f1ff6bae6e27aa7ded084a10f5114	libsel4simple-default
040000 tree fc50ae56e000df163723d91a40ee6898480c1b4a	libsel4simple
040000 tree 44d996208b93496ca95236ee559c330efa3302b8	libsel4sync
040000 tree b38c7774d7614f02216ceaabbe5271a8dbd72236	libsel4test
040000 tree 39565380a817fcf7ae2975e54ded2817a85f3fbb	libsel4utils
040000 tree 009fbba7762fafc9e06a974a297156e69e10c8ef	libsel4vka
040000 tree 623e57091fa8860f654a5f39f86c67cb00aa150b	libsel4vspace