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 a25eb7f46f463943b936299a099dfc9646fffb65	libsel4bench
040000 tree c49b999f8bcc5bbe6b33b006edee7f8829e47205	libsel4debug
040000 tree b4908eb7476f60277c273f05c62422e5457d7131	libsel4muslcsys
040000 tree 7dee0981353879f00d4533a38a7d46f04ad75bd0	libsel4platsupport
040000 tree 1cdfecb360136b77dc89a643de2e1cbdec6e56dc	libsel4serialserver
040000 tree 7b755f67bb7f1ff6bae6e27aa7ded084a10f5114	libsel4simple-default
040000 tree fc50ae56e000df163723d91a40ee6898480c1b4a	libsel4simple
040000 tree 49b266fa8654482bca320e6bbaff72f75eac6969	libsel4sync
040000 tree 00f3672097da6ce16584afd0a3bcd782a27629ae	libsel4test
040000 tree 39565380a817fcf7ae2975e54ded2817a85f3fbb	libsel4utils
040000 tree 009fbba7762fafc9e06a974a297156e69e10c8ef	libsel4vka
040000 tree 623e57091fa8860f654a5f39f86c67cb00aa150b	libsel4vspace