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

configs: add stm32mp2 verified config

Browse source 
The proofs pass for this config unchanged.

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

10
configs/AARCH64_stm32mp2_verified.cmake Executable file
View file

@ -0,0 +1,10 @@
#!/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 "stm32mp2" CACHE STRING "")