100644 blob bbf313b25987d0d61b1cea33a8e6188501e221ac	.gitignore
100644 blob b24bf7f315d6a65e149ef56846dab59330ffc57a	CMakeLists.txt
100644 blob 6a30d31ca46192b749a908891380e08f31e3ed9b	Findsel4_projects_libs.cmake
100644 blob 86d57f84d9df19b20d9a612e4cd919a6ec3b4af8	LICENSE.txt
100644 blob 77e0fb65a1e584b63df8f77a3ca8d9cd85d471cf	README.md
040000 tree 361b889e21cd68cda8703479618d23a142874c89	libsel4bga
040000 tree 6a2936f9dda693dc1094b5b6635ab5cdca344b4c	libsel4dma
040000 tree c2e034dd346a6d43670d5281c9985f1fc4bf575a	libsel4keyboard
040000 tree 0e1683d1296a3844beb9829e44c02ab550e4f278	libsel4nanopb
040000 tree e70f2a6ad481424776ae49f161621db2c3601195	libsel4rpc
040000 tree 67807e2a319978f4de134bb08b374d956d65cfbd	libsel4vchan
040000 tree a46f50cb74019aae6ef56c697064cef8a1821f05	libsel4vm
040000 tree 67ff0b766d0b81dda35f4c6b36b5303e909e3a11	libsel4vmmplatsupport