seL4_libs/libsel4bench
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 sel4bench: Do not disable counters for armv7-a 2025-02-22 23:11:03 +00:00
include/sel4bench libsel4bench: Remove ARMv6 and arm1136jf-s support 2021-09-30 18:11:23 +10:00
sel4_arch_include convert to SPDX license headers 2021-02-10 19:30:35 +11:00
src libsel4bench: Remove ARMv6 and arm1136jf-s support 2021-09-30 18:11:23 +10:00
CMakeLists.txt Bump minimum CMake version 2025-02-26 14:34:53 +11:00