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 8deda18a400cde36d4022b3ea07fc495d1f86008	PREUPLOAD.cfg
100644 blob 446c46d50dd0004d6004b7f509af0b248a2f53d1	README.md
040000 tree 22f7751ea0b10cadd00f248a11e875027c1be694	libsel4allocman
040000 tree 1887d70b2dba71361cb068e41e7d5244b1de785a	libsel4bench
040000 tree 4b340698b153ee6dafa5663d97eba642392be8ca	libsel4debug
040000 tree 23dc3d65cb34c5ceb1f413ac312e66fdca15f586	libsel4muslcsys
040000 tree b028aa1989e6c4a44e3c848a0e37b1f3b3d1c64d	libsel4platsupport
040000 tree c0fd4b17f327a6c25d32bae81bee9561cb5b8fa0	libsel4serialserver
040000 tree 4e3acba3f67c44f19daccbbf088d704e9719d10e	libsel4simple-default
040000 tree 7374ace1dae8440e6e1af8dc79afdeafe6a82a22	libsel4simple
040000 tree c025547973eb9b1bdb60c756b08139079672ac0c	libsel4sync
040000 tree 6999c2c72e889281044548f9635f5fd2c2ddd6fa	libsel4test
040000 tree cf76d6e8b6dae4d20f560423e144d729369c92e3	libsel4utils
040000 tree da0b90b402c3836d94bd530ec122f19dd248f431	libsel4vka
040000 tree 7796186484d1a625832442521692d738ec71edd7	libsel4vspace