Bump minimum CMake version See commit 6f2fe4626d827eb58e2fd954c2c16cefcb67fa61 of seL4 for motivation. Signed-off-by: Ivan-Velickovic i.velickovic@unsw.edu.au
Bump minimum CMake version
See commit 6f2fe4626d827eb58e2fd954c2c16cefcb67fa61 of seL4 for motivation.
Signed-off-by: Ivan-Velickovic i.velickovic@unsw.edu.au
A collection of libraries for seL4. These libraries are compatible with seL4_libs.
Contributions welcome!
See the CONTRIBUTING file for more.
seL4_projects_libs
seL4 Projects Libraries
A collection of libraries for seL4. These libraries are compatible with seL4_libs.
Contributing
Contributions welcome!
See the CONTRIBUTING file for more.