diff --git a/FindseL4.cmake b/FindseL4.cmake
index 8844fbd8a..98079845d 100644
--- a/FindseL4.cmake
+++ b/FindseL4.cmake
@@ -3,6 +3,7 @@
 #
 # SPDX-License-Identifier: GPL-2.0-only
 #
+cmake_minimum_required(VERSION 3.16.0)
 
 set(KERNEL_PATH "${CMAKE_CURRENT_LIST_DIR}" CACHE STRING "")
 set(KERNEL_HELPERS_PATH "${CMAKE_CURRENT_LIST_DIR}/tools/helpers.cmake" CACHE STRING "")
diff --git a/config.cmake b/config.cmake
index 0e1080164..4f7b2dee8 100644
--- a/config.cmake
+++ b/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 config_option(
     KernelIsMCS KERNEL_MCS "Use the MCS kernel configuration, which is not verified." DEFAULT OFF
 )
diff --git a/configs/seL4Config.cmake b/configs/seL4Config.cmake
index fe5cbbb93..261fc5439 100644
--- a/configs/seL4Config.cmake
+++ b/configs/seL4Config.cmake
@@ -3,6 +3,7 @@
 #
 # SPDX-License-Identifier: GPL-2.0-only
 #
+cmake_minimum_required(VERSION 3.16.0)
 
 set(KERNEL_ROOT_DIR "${CMAKE_CURRENT_LIST_DIR}/..")
 
diff --git a/include/32/mode/config.cmake b/include/32/mode/config.cmake
index ba9fe39f1..44153a5ca 100644
--- a/include/32/mode/config.cmake
+++ b/include/32/mode/config.cmake
@@ -4,6 +4,4 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_bf_source_old("Kernel32" "shared_types.bf" "libsel4/mode_include/32" "sel4")
diff --git a/include/64/mode/config.cmake b/include/64/mode/config.cmake
index d495706cf..d46a422de 100644
--- a/include/64/mode/config.cmake
+++ b/include/64/mode/config.cmake
@@ -4,6 +4,4 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_bf_source_old("Kernel64" "shared_types.bf" "libsel4/mode_include/64" "sel4")
diff --git a/src/arch/arm/32/config.cmake b/src/arch/arm/32/config.cmake
index ec6151fc5..6042318b9 100644
--- a/src/arch/arm/32/config.cmake
+++ b/src/arch/arm/32/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_sources(
     DEP "KernelSel4ArchAarch32"
     PREFIX src/arch/arm/32
diff --git a/src/arch/arm/64/config.cmake b/src/arch/arm/64/config.cmake
index 764222c12..461ee239c 100644
--- a/src/arch/arm/64/config.cmake
+++ b/src/arch/arm/64/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_sources(
     DEP "KernelSel4ArchAarch64"
     PREFIX src/arch/arm/64
diff --git a/src/arch/arm/armv/armv7-a/config.cmake b/src/arch/arm/armv/armv7-a/config.cmake
index cf1e75b4d..7170e3f4e 100644
--- a/src/arch/arm/armv/armv7-a/config.cmake
+++ b/src/arch/arm/armv/armv7-a/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_sources(
     DEP "KernelArchArmV7a"
     PREFIX src/arch/arm/armv/armv7-a
diff --git a/src/arch/arm/armv/armv8-a/config.cmake b/src/arch/arm/armv/armv8-a/config.cmake
index 09de51d27..00e7873da 100644
--- a/src/arch/arm/armv/armv8-a/config.cmake
+++ b/src/arch/arm/armv/armv8-a/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_sources(
     DEP "KernelArchArmV8a"
     PREFIX src/arch/arm/armv/armv8-a/${KernelWordSize}
diff --git a/src/arch/arm/config.cmake b/src/arch/arm/config.cmake
index 8ab73ac5d..6d1fce630 100644
--- a/src/arch/arm/config.cmake
+++ b/src/arch/arm/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 if(KernelSel4ArchAarch32)
     set_property(
         TARGET kernel_config_target
diff --git a/src/arch/riscv/config.cmake b/src/arch/riscv/config.cmake
index 31458750b..f84877552 100644
--- a/src/arch/riscv/config.cmake
+++ b/src/arch/riscv/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 config_string(
     KernelPTLevels PT_LEVELS "Number of page \
     table levels for RISC-V depends on the mode. For example there are: \
diff --git a/src/arch/x86/32/config.cmake b/src/arch/x86/32/config.cmake
index 4eb7d5eb9..e9d339945 100644
--- a/src/arch/x86/32/config.cmake
+++ b/src/arch/x86/32/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_sources(
     DEP "KernelSel4ArchIA32"
     PREFIX src/arch/x86/32
diff --git a/src/arch/x86/64/config.cmake b/src/arch/x86/64/config.cmake
index 5352e66c4..addbffe3c 100644
--- a/src/arch/x86/64/config.cmake
+++ b/src/arch/x86/64/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_sources(
     DEP "KernelSel4ArchX86_64"
     PREFIX src/arch/x86/64
diff --git a/src/arch/x86/config.cmake b/src/arch/x86/config.cmake
index 3479e0c57..02d0ad166 100644
--- a/src/arch/x86/config.cmake
+++ b/src/arch/x86/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 if(KernelArchX86)
     set_property(
         TARGET kernel_config_target
diff --git a/src/config.cmake b/src/config.cmake
index 2be645c3d..609d13f79 100644
--- a/src/config.cmake
+++ b/src/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 add_sources(
     CFILES
         src/inlines.c
diff --git a/src/drivers/config.cmake b/src/drivers/config.cmake
index 34c14416a..d57976a2c 100644
--- a/src/drivers/config.cmake
+++ b/src/drivers/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 macro(register_driver compatibility_strings match_strings)
     foreach(match_string IN ITEMS ${match_strings})
         list(FIND ${compatibility_strings} ${match_string} res)
diff --git a/src/drivers/serial/config.cmake b/src/drivers/serial/config.cmake
index 27aef66bf..6a0e72180 100644
--- a/src/drivers/serial/config.cmake
+++ b/src/drivers/serial/config.cmake
@@ -5,8 +5,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 register_driver(
     compatibility_strings "brcm,bcm2835-aux-uart"
     PREFIX src/drivers/serial
diff --git a/src/drivers/smmu/config.cmake b/src/drivers/smmu/config.cmake
index a938fbd3a..d4e4767fd 100644
--- a/src/drivers/smmu/config.cmake
+++ b/src/drivers/smmu/config.cmake
@@ -4,6 +4,4 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 register_driver(compatibility_strings "arm,mmu-500" PREFIX src/drivers/smmu CFILES "smmuv2.c")
diff --git a/src/drivers/timer/config.cmake b/src/drivers/timer/config.cmake
index a6f2a2793..896bdce1d 100644
--- a/src/drivers/timer/config.cmake
+++ b/src/drivers/timer/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 register_driver(
     compatibility_strings "ti,am335x-timer"
     PREFIX src/drivers/timer
diff --git a/src/plat/eswin/config.cmake b/src/plat/eswin/config.cmake
index 31ea9608f..468f7367c 100644
--- a/src/plat/eswin/config.cmake
+++ b/src/plat/eswin/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 declare_platform(hifive-p550 KernelPlatformHifiveP550 PLAT_HIFIVE_P550 KernelArchRiscV)
 
 if(KernelPlatformHifiveP550)
diff --git a/src/plat/spacemit-k1/config.cmake b/src/plat/spacemit-k1/config.cmake
index 8eccb6215..0d3e52e87 100644
--- a/src/plat/spacemit-k1/config.cmake
+++ b/src/plat/spacemit-k1/config.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 declare_platform(bananapi-f3 KernelPlatformBananapiF3 PLAT_BANANAPIF3 KernelArchRiscV)
 
 if(KernelPlatformBananapiF3)
diff --git a/tools/internal.cmake b/tools/internal.cmake
index e47f4853f..81ddbc5e3 100644
--- a/tools/internal.cmake
+++ b/tools/internal.cmake
@@ -4,8 +4,6 @@
 # SPDX-License-Identifier: GPL-2.0-only
 #
 
-cmake_minimum_required(VERSION 3.16.0)
-
 # File for helpers that are very specific to the kernel
 
 function(gen_invocation_header)