secc
/
seL4-camkes-tool
mirror of https://github.com/seL4/camkes-tool.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

adding img png and update dep5 

Signed-off-by: June Andronick <june.andronick@proofcraft.systems>
This commit is contained in:
June Andronick 2025-07-15 11:34:36 +02:00 committed by Gerwin Klein
parent ae1e4d2acf
commit b658d660c9
2 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.reuse/dep5
View File

@ -7,6 +7,10 @@ Files: docs/imgs/*.png VERSION CHANGES camkes/visualCAmkES/Assests/VisualCAmkES.
Copyright: Data61, CSIRO (ABN 41 687 119 230)
License: CC-BY-SA-4.0
Files: docs/imgs/echo.svg
Copyright: Proofcraft Pty Ltd 2025
License: CC-BY-SA-4.0
Files: camkes/parser/tests/test.dtb
Copyright: Data61, CSIRO (ABN 41 687 119 230)
License: BSD-2-Clause

BIN
docs/imgs/echo.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 6.0 KiB