portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

configs: add all current RISC-V platforms

Browse source 
All current non-simulation RISC-V platforms are now supported by the
proofs.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2026-06-30 10:57:20 +10:00 committed by Indan Zupancic
parent 807df568b9
commit b161c3fe98
8 changed files with 81 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
configs/RISCV64_ariane_verified.cmake Executable file
View file

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

10
configs/RISCV64_bananapi-f3_verified.cmake Executable file
View file

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

10
configs/RISCV64_cheshire_verified.cmake Executable file
View file

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

10
configs/RISCV64_hifive-p550_verified.cmake Executable file
View file

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

10
configs/RISCV64_polarfire_verified.cmake Executable file
View file

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

11
configs/RISCV64_rocketchip-zcu102_verified.cmake Executable file
View file

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

10
configs/RISCV64_rocketchip_verified.cmake Executable file
View file

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

10
configs/RISCV64_star64_verified.cmake Executable file
View file

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