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.
©Copyright 2023 CCF 开源发展委员会 Powered by Trustie& IntelliDE 京ICP备13000930号
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.