Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

CHANGES: all Arm platforms now included in proofs

Browse Source 
Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein
2025-11-18 10:27:04 +11:00
parent bfb390f918
commit 20253baa0b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
CHANGES.md
View File

@@ -42,7 +42,7 @@ description indicates whether it is SOURCE-COMPATIBLE, BINARY-COMPATIBLE, or BRE
### Changes
* Added `zynqmp` and `rpi4` to the set of verified AArch64 configs.
* All Arm platforms supported by seL4 now have a verified configuration.
* Added: build exports an `invocations_all.json` file with syscall invocation numbers.
* Added option for suppressing generation of config output files in build process
* Added `--skip-unchanged` option to build process to prevent time stamp update for config output files when these