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 8deda18a400cde36d4022b3ea07fc495d1f86008	PREUPLOAD.cfg
100644 blob 6a3459d1ee2cfa534aca68cdb5805ee16e9a8d21	README.md
040000 tree 26e26e1b41a916672c1f23c2f97a735ca95db392	libsel4allocman
040000 tree a25eb7f46f463943b936299a099dfc9646fffb65	libsel4bench
040000 tree c1e5b3c6f3a84b9b3476fca726fb1a7a36d510bb	libsel4debug
040000 tree b4908eb7476f60277c273f05c62422e5457d7131	libsel4muslcsys
040000 tree e2b3626754cae8c7407ae2621313310673201999	libsel4platsupport
040000 tree 1cdfecb360136b77dc89a643de2e1cbdec6e56dc	libsel4serialserver
040000 tree 227986a5f2b313b88e75c58f95690278acba9373	libsel4simple-default
040000 tree bc10752653d7d733bef1fcf5a9432a29958b5812	libsel4simple
040000 tree 49b266fa8654482bca320e6bbaff72f75eac6969	libsel4sync
040000 tree 00f3672097da6ce16584afd0a3bcd782a27629ae	libsel4test
040000 tree 39565380a817fcf7ae2975e54ded2817a85f3fbb	libsel4utils
040000 tree 009fbba7762fafc9e06a974a297156e69e10c8ef	libsel4vka
040000 tree 623e57091fa8860f654a5f39f86c67cb00aa150b	libsel4vspace