100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob f678ea72f472a53d6515a4a1878ce58ddc3d279e	.licenseignore
100644 blob 292b076856b2d78827d7d72b4359fff7bf33fb12	CMakeLists.txt
100644 blob 64659d8d7432a974feed80046bcee8314ec5f11d	LICENSE.txt
100644 blob 6a3459d1ee2cfa534aca68cdb5805ee16e9a8d21	README.md
040000 tree 367581aabb44b7fcc10d1c6d142922b4528ae324	libsel4allocman
040000 tree 46576257fc3bbf2f734d7f33765195e1e814c950	libsel4bench
040000 tree 7c76dae585971cef0686515e34ed6342261dac8d	libsel4debug
040000 tree efbb69d7b1366dc5c3cfe54160dcd526e6b273e3	libsel4muslcsys
040000 tree ca1e2ee62463bbd215394e8ac7be1badae26fddc	libsel4platsupport
040000 tree 4dc978e9e5a2322e3fbab4f5b06eb93c5e74f134	libsel4serialserver
040000 tree 09b7d9dd809db3dd0973768675b2c56b2c324eb7	libsel4simple-default
040000 tree 8bace7562a25286195d334044deb32b3cfc1cfbc	libsel4simple
040000 tree cebd9a765863f83749c9531ecc84c0b2bea8b09e	libsel4sync
040000 tree 5c1cac48f961af91761a3db2933f15b4e99b23eb	libsel4test
040000 tree 0dab699013eb980fafa9f936a9b54e8462de5c38	libsel4utils
040000 tree 3e33daa5c94ba5b4d5152ad91ed56ed16787c165	libsel4vka
040000 tree 7ce684abf752db9e7432f2688b64563eeaec7863	libsel4vmm
040000 tree 89cfd7dd132f3086b4857de5ee9ff8438afa9500	libsel4vspace