secc
/
seL4
mirror of https://github.com/seL4/seL4.git
2
0
Fork 0
Code Issues Projects Releases Wiki Activity

configs: mark Ultra96v2 as supported by the proofs 

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2025-03-31 11:21:44 +11:00
parent 6d8b1eaeec
commit 29803c51ca
1 changed files with 11 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
configs/AARCH64_ultra96v2_verified.cmake Executable file
View File

@ -0,0 +1,11 @@
#!/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 "zynqmp" CACHE STRING "")
set(KernelARMPlatform "ultra96v2" CACHE STRING "")