100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob f678ea72f472a53d6515a4a1878ce58ddc3d279e	.licenseignore
100644 blob f00e26836e63f6b17c07a02a69d75ed57f50d29b	CMakeLists.txt
100644 blob adf44d9678faa4732f8b3818d1f007f94ec91b1f	FindseL4_libs.cmake
100644 blob 64659d8d7432a974feed80046bcee8314ec5f11d	LICENSE.txt
100644 blob 6a3459d1ee2cfa534aca68cdb5805ee16e9a8d21	README.md
040000 tree 7c24de2cada2eb6504f918833412fd54067ffdcb	libsel4allocman
040000 tree eff5692bd30ea7ee892990cd460ce66d1d8e83da	libsel4bench
040000 tree 1c8c481658d398db4cb7c4d01d9a44d9221cc849	libsel4debug
040000 tree 1a9ed6e155bc6b33dda2163141f7313b3237a43d	libsel4muslcsys
040000 tree 6ba440023316f47ab6d7ec0a570f164700d2148a	libsel4platsupport
040000 tree 1cdfecb360136b77dc89a643de2e1cbdec6e56dc	libsel4serialserver
040000 tree 7b755f67bb7f1ff6bae6e27aa7ded084a10f5114	libsel4simple-default
040000 tree fc50ae56e000df163723d91a40ee6898480c1b4a	libsel4simple
040000 tree b361aecb1354382fdf29f5378037cb5553117c19	libsel4sync
040000 tree 97c57a593472d6944875374846d9a1f6d8eacf82	libsel4test
040000 tree 2b455692c795132ee4a52cf1485f0b9c7e260c75	libsel4utils
040000 tree 09cc53ca7fdf4f18acb5170141e7a42bcb902841	libsel4vka
040000 tree 6bc45a7a5ac5f0c225ca7a3144d04dcbd1de0c8a	libsel4vmm
040000 tree 1979c086c08aae35db89154e777b14f40c5a63ac	libsel4vspace