diff --git a/configs/RISCV64_ariane_verified.cmake b/configs/RISCV64_ariane_verified.cmake
new file mode 100755
index 000000000..b8ce32d89
--- /dev/null
+++ b/configs/RISCV64_ariane_verified.cmake
@@ -0,0 +1,10 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/RISCV64_verified_include.cmake)
+
+set(KernelPlatform "ariane" CACHE STRING "")
diff --git a/configs/RISCV64_bananapi-f3_verified.cmake b/configs/RISCV64_bananapi-f3_verified.cmake
new file mode 100755
index 000000000..ce346d12b
--- /dev/null
+++ b/configs/RISCV64_bananapi-f3_verified.cmake
@@ -0,0 +1,10 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/RISCV64_verified_include.cmake)
+
+set(KernelPlatform "bananapi-f3" CACHE STRING "")
diff --git a/configs/RISCV64_cheshire_verified.cmake b/configs/RISCV64_cheshire_verified.cmake
new file mode 100755
index 000000000..5ba365e76
--- /dev/null
+++ b/configs/RISCV64_cheshire_verified.cmake
@@ -0,0 +1,10 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/RISCV64_verified_include.cmake)
+
+set(KernelPlatform "cheshire" CACHE STRING "")
diff --git a/configs/RISCV64_hifive-p550_verified.cmake b/configs/RISCV64_hifive-p550_verified.cmake
new file mode 100755
index 000000000..2db46fb64
--- /dev/null
+++ b/configs/RISCV64_hifive-p550_verified.cmake
@@ -0,0 +1,10 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/RISCV64_verified_include.cmake)
+
+set(KernelPlatform "hifive-p550" CACHE STRING "")
diff --git a/configs/RISCV64_polarfire_verified.cmake b/configs/RISCV64_polarfire_verified.cmake
new file mode 100755
index 000000000..7d39ac4aa
--- /dev/null
+++ b/configs/RISCV64_polarfire_verified.cmake
@@ -0,0 +1,10 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/RISCV64_verified_include.cmake)
+
+set(KernelPlatform "polarfire" CACHE STRING "")
diff --git a/configs/RISCV64_rocketchip-zcu102_verified.cmake b/configs/RISCV64_rocketchip-zcu102_verified.cmake
new file mode 100755
index 000000000..01a836e72
--- /dev/null
+++ b/configs/RISCV64_rocketchip-zcu102_verified.cmake
@@ -0,0 +1,11 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/RISCV64_verified_include.cmake)
+
+set(KernelPlatform "rocketchip" CACHE STRING "")
+set(KernelRiscVPlatform "rocketchip-zcu102" CACHE STRING "")
diff --git a/configs/RISCV64_rocketchip_verified.cmake b/configs/RISCV64_rocketchip_verified.cmake
new file mode 100755
index 000000000..7ef2e63c8
--- /dev/null
+++ b/configs/RISCV64_rocketchip_verified.cmake
@@ -0,0 +1,10 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/RISCV64_verified_include.cmake)
+
+set(KernelPlatform "rocketchip" CACHE STRING "")
diff --git a/configs/RISCV64_star64_verified.cmake b/configs/RISCV64_star64_verified.cmake
new file mode 100755
index 000000000..8ad065d60
--- /dev/null
+++ b/configs/RISCV64_star64_verified.cmake
@@ -0,0 +1,10 @@
+#!/usr/bin/env -S cmake -P
+#
+# Copyright 2024, Proofcraft Pty Ltd
+#
+# SPDX-License-Identifier: GPL-2.0-only
+#
+
+include(${CMAKE_CURRENT_LIST_DIR}/include/RISCV64_verified_include.cmake)
+
+set(KernelPlatform "star64" CACHE STRING "")