From b161c3fe98787df5ac2c7862c7f1ea89342b52e7 Mon Sep 17 00:00:00 2001 From: Gerwin Klein Date: Tue, 30 Jun 2026 10:57:20 +1000 Subject: [PATCH] configs: add all current RISC-V platforms All current non-simulation RISC-V platforms are now supported by the proofs. Signed-off-by: Gerwin Klein --- configs/RISCV64_ariane_verified.cmake | 10 ++++++++++ configs/RISCV64_bananapi-f3_verified.cmake | 10 ++++++++++ configs/RISCV64_cheshire_verified.cmake | 10 ++++++++++ configs/RISCV64_hifive-p550_verified.cmake | 10 ++++++++++ configs/RISCV64_polarfire_verified.cmake | 10 ++++++++++ configs/RISCV64_rocketchip-zcu102_verified.cmake | 11 +++++++++++ configs/RISCV64_rocketchip_verified.cmake | 10 ++++++++++ configs/RISCV64_star64_verified.cmake | 10 ++++++++++ 8 files changed, 81 insertions(+) create mode 100755 configs/RISCV64_ariane_verified.cmake create mode 100755 configs/RISCV64_bananapi-f3_verified.cmake create mode 100755 configs/RISCV64_cheshire_verified.cmake create mode 100755 configs/RISCV64_hifive-p550_verified.cmake create mode 100755 configs/RISCV64_polarfire_verified.cmake create mode 100755 configs/RISCV64_rocketchip-zcu102_verified.cmake create mode 100755 configs/RISCV64_rocketchip_verified.cmake create mode 100755 configs/RISCV64_star64_verified.cmake 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 "")