040000 tree 75f260a7f036092b025c6e9862e1a494fa7c5fd2	.github
100644 blob 8a6469a57be4cfe828e377f5e3b80b7772ae1ae1	.gitignore
100644 blob c7ef08109e2ae4ae511c1af42a6c7336c4afe8f2	CMakeLists.txt
100644 blob d555a6def08b226ac7ec3c92d940129dae0675eb	FindseL4_libs.cmake
100644 blob b032007b56d332d97118e1974c2798326ddc3f4b	LICENSE.md
040000 tree 3e2f7b95ba9d7333caac54ca03376033f28adc95	LICENSES
100644 blob 446c46d50dd0004d6004b7f509af0b248a2f53d1	README.md
040000 tree 7154bbe5d126ec799e0ba0df2625362991826373	libsel4allocman
040000 tree 1887d70b2dba71361cb068e41e7d5244b1de785a	libsel4bench
040000 tree a12d9e9453ce72c846348327e864ec8094583685	libsel4debug
040000 tree 23dc3d65cb34c5ceb1f413ac312e66fdca15f586	libsel4muslcsys
040000 tree 79b369b928c2b429e7adace59bfd03bbe2890c61	libsel4platsupport
040000 tree c0fd4b17f327a6c25d32bae81bee9561cb5b8fa0	libsel4serialserver
040000 tree 98cea3d90fde5f69c2058c8e0b2b2f7291591fb4	libsel4simple-default
040000 tree 5d47183f0446b6aecec2e4fc942c43a611bad2c9	libsel4simple
040000 tree c025547973eb9b1bdb60c756b08139079672ac0c	libsel4sync
040000 tree 6999c2c72e889281044548f9635f5fd2c2ddd6fa	libsel4test
040000 tree cf76d6e8b6dae4d20f560423e144d729369c92e3	libsel4utils
040000 tree da0b90b402c3836d94bd530ec122f19dd248f431	libsel4vka
040000 tree 7796186484d1a625832442521692d738ec71edd7	libsel4vspace