100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob 85cda3e9c7e3a6a540a443422288fa70eeca4328	LICENSE_BSD2.txt
100644 blob 72ffe8018278c97f489157c73d7e00cdc7893fea	README.md
040000 tree 48bc010c74ca117cb271eb4b1c4dff59bab1758f	libsel4allocman
040000 tree 783aed97614920d4977a5afddcf4818fda1e6adb	libsel4bench
040000 tree 809ee2d023c6e18d9ac021ad5f5523fd0a0d27e5	libsel4debug
040000 tree a8ce992134add02d7d25a01bdcccc3b38481117a	libsel4muslcsys
040000 tree 52f5a3cd932775f50d8a927a43e2aeddf86f2582	libsel4platsupport
040000 tree 142432f72bd59fdf7a10b6be8f18b0fd577245b6	libsel4simple-default
040000 tree b24fccc55cb7e4869d6b0afd318a1277cdd9bd8b	libsel4simple-stable
040000 tree 7d50f8dd45be4f5cc0cbb290b1171b9defc0fce5	libsel4simple
040000 tree e7bc5ca6367bbd001f251cc85fa0cdf381454bb5	libsel4sync
040000 tree a6f6dc5d25a85fbe6d6e5617a025a3d001c0bab0	libsel4test
040000 tree 592b6d01c85b499ee4d00c756e2da77ada950b3e	libsel4utils
040000 tree 8af48ecfe1286a74edb11a9404eaf52201de18e1	libsel4vka
040000 tree daa2e880c8a77972e6eba127629a15132a22d602	libsel4vmm
040000 tree a67d03f33411c1a674874553798aab95ba551a6e	libsel4vspace