From 807df568b9ef0d378e4df3d6348e5982a565de97 Mon Sep 17 00:00:00 2001
From: Gerwin Klein <gerwin.klein@proofcraft.systems>
Date: Tue, 30 Jun 2026 10:52:32 +1000
Subject: [PATCH] configs: add stm32mp2 verified config

The proofs pass for this config unchanged.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
---
 configs/AARCH64_stm32mp2_verified.cmake | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 configs/AARCH64_stm32mp2_verified.cmake

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 "")