secc
/
seL4-camkes-tool
mirror of https://github.com/seL4/camkes-tool.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
2,375 Commits 6 Branches 21 Tags 7.3 MiB
Python 50%
C 36.4%
Isabelle 6.5%
CMake 5.5%
GAP 0.6%
Other 1%
Go to file
Gerwin Klein 7ce8ef4ef8 docs/Makefile: use svg directly 
Apparently pandoc is good enough to be able to use svg directly for pdf
output.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
 		2025-07-15 19:53:41 +10:00
.github/workflows github: use central CI workflows 2025-03-17 11:00:10 +11:00
.reuse adding img png and update dep5 2025-07-15 19:53:41 +10:00
LICENSES convert to SDPX license tags 2021-02-12 17:24:15 +11:00
camkes trivial: python style fix 2024-06-17 19:29:57 +10:00
cdl-refine-tests Remove references to kzm platform 2021-09-30 18:43:23 +10:00
components serial: rename Serial.camkes files 2022-09-30 11:22:14 +02:00
docs docs/Makefile: use svg directly 2025-07-15 19:53:41 +10:00
examples convert to SDPX license tags 2021-02-12 17:24:15 +11:00
include convert to SDPX license tags 2021-02-12 17:24:15 +11:00
libcamkescakeml convert to SDPX license tags 2021-02-12 17:24:15 +11:00
libsel4camkes libsel4camkes: Define AT_PAGESZ in aux vector 2025-02-28 12:10:42 +11:00
misc convert to SDPX license tags 2021-02-12 17:24:15 +11:00
tools camkes-deps: fully remove orderedset; bump version 2024-07-01 13:54:56 +10:00
.gitignore convert to SDPX license tags 2021-02-12 17:24:15 +11:00
.licenseignore convert to SDPX license tags 2021-02-12 17:24:15 +11:00
.linkcheck-ignore.yml github: use central CI workflows 2025-03-17 11:00:10 +11:00
.stylefilter convert to SDPX license tags 2021-02-12 17:24:15 +11:00
CHANGES.md Release camkes-3.11.0 2024-07-01 17:41:06 +10:00
CMakeLists.txt convert to SDPX license tags 2021-02-12 17:24:15 +11:00
Findcamkes-tool.cmake convert to SDPX license tags 2021-02-12 17:24:15 +11:00
README.md readme: add vulnerability reporting policy (#74) 2021-06-30 15:29:58 +10:00
VERSION Update VERSION file to camkes-3.11.0-dev 2024-07-01 21:44:31 +10:00
alltests.py convert to SDPX license tags 2021-02-12 17:24:15 +11:00
camkes-top-level.cmake convert to SDPX license tags 2021-02-12 17:24:15 +11:00
camkes.cmake CMake: add missing parameter DTB_FILE_PATH 2022-10-24 10:47:15 +11:00

README.md

CAmkES

This repository contains the code generator and templating system that form the core of the CAmkES component platform.

For more information about CAmkES functionality, see the documentation.

Dependencies

See the wiki: https://docs.sel4.systems/CAmkES/#build-dependencies

Reporting security vulnerabilities

If you believe you have found a security vulnerability in code generated by camkes-tool, we ask you to follow the seL4 vulnerability disclosure policy.