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.
版权所有:中国计算机学会技术支持:开源发展技术委员会 京ICP备13000930号-9 京公网安备 11010802032778号
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.