mirror of https://github.com/seL4/seL4_libs.git
54539a72db
Compatibility with versions <3.10 is going away. As it happens, we're not using any CMake features that have changed between 3.7 and 3.16, so bump the lowest version to 3.16. Signed-off-by: Peter Chubb <Peter.Chubb@unsw.edu.au> |
||
|---|---|---|
| .. | ||
| arch_include | ||
| include/vka | ||
| sel4_arch_include | ||
| src | ||
| CMakeLists.txt | ||