040000 tree 3de14ebca4af018d5a658f229837ab2b4baa3fed	.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 1a8a6194d93c9a4e0be9d6547adf761b51bef80c	libsel4bench
040000 tree 50f03b911eb1a5edf765eddef64d44700bedbad9	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 14afa21d49793a50a8ce2257f7cec99f32f71b3a	libsel4utils
040000 tree 10867ef5309043aa0b3aa7ebc07e7b2b1fe5f2ec	libsel4vka
040000 tree 7796186484d1a625832442521692d738ec71edd7	libsel4vspace