100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob f678ea72f472a53d6515a4a1878ce58ddc3d279e	.licenseignore
100644 blob f00e26836e63f6b17c07a02a69d75ed57f50d29b	CMakeLists.txt
100644 blob 64659d8d7432a974feed80046bcee8314ec5f11d	LICENSE.txt
100644 blob 6a3459d1ee2cfa534aca68cdb5805ee16e9a8d21	README.md
040000 tree 30df8933a42021c233bfc67e9c77cb5efc4cdad9	libsel4allocman
040000 tree 3e12f42a4a80759f7f9420845d47ce57b30bd31d	libsel4bench
040000 tree 1ac6d49c0bfb4e25250ab6eb8f1332b1c88edb9e	libsel4debug
040000 tree 8af50ad3efacd73feacbb2b195861c8ab57f3f14	libsel4muslcsys
040000 tree 80def7fe40b93dced85fc1b18cb48175c6af7c38	libsel4platsupport
040000 tree b66617650e16977b21d39b75f1a05b8edc1c4e8f	libsel4serialserver
040000 tree 16ee56aa4510c351dee92193d9a031b0ed69e51e	libsel4simple-default
040000 tree 69ad0ad1fd5ed2cef469afecc0295feca56c98eb	libsel4simple
040000 tree 4298d7c20c66f9b5b6db47515244ea3c534ca18d	libsel4sync
040000 tree 6e3faf3a3cb991c4a76f2abfe6db79b754371980	libsel4test
040000 tree ea3894d5acb906a0ea2e632f83fc78d84a12fe84	libsel4utils
040000 tree 40332f4f73d326b4a0a6339a0521d6b1181a2c78	libsel4vka
040000 tree 2d44aca679cdf85805134c44c2039719dde81b0b	libsel4vmm
040000 tree 1116dc70bf88cac4b0548f30f2fb5754b11a7543	libsel4vspace