seL4_libs/libsel4vspace
Peter Chubb 54539a72db Bump minimum CMake version
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>
2025-02-26 14:34:53 +11:00
..
arch_include convert to SPDX license headers 2021-02-10 19:30:35 +11:00
include/vspace convert to SPDX license headers 2021-02-10 19:30:35 +11:00
src avoid build warning if CONFIG_IOMMU is not defined 2021-08-13 14:57:37 +10:00
CMakeLists.txt Bump minimum CMake version 2025-02-26 14:34:53 +11:00