diff --git a/configs/AARCH64_stm32mp2_verified.cmake b/configs/AARCH64_stm32mp2_verified.cmake
new file mode 100755
index 000000000..19216bfee
--- /dev/null
+++ b/configs/AARCH64_stm32mp2_verified.cmake
@@ -0,0 +1,10 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2025, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
+
+set(KernelPlatform "stm32mp2" CACHE STRING "")