diff --git a/configs/AARCH64_MCS_verified.cmake b/configs/AARCH64_MCS_verified.cmake
new file mode 100644
index 000000000..699924d56
--- /dev/null
+++ b/configs/AARCH64_MCS_verified.cmake
@@ -0,0 +1,12 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/AARCH64_verified_include.cmake)
+
+set(KernelPlatform "tx2" CACHE STRING "")
+set(KernelIsMCS ON CACHE BOOL "")
+set(KernelStaticMaxPeriodUs "(60 * 60 * MS_IN_S * US_IN_MS)" CACHE STRING "")