目录
- .githubgithub: use central CI workflows4个月前
- .reuseconvert to SDPX license tags4年前
- LICENSESconvert to SDPX license tags4年前
- camkestrivial: python style fix1年前
- cdl-refine-testsRemove references to kzm platform3年前
- componentsserial: rename Serial.camkes files2年前
- docsdocs: fix typos14天前
- examplesconvert to SDPX license tags4年前
- includeconvert to SDPX license tags4年前
- libcamkescakemlconvert to SDPX license tags4年前
- libsel4camkeslibsel4camkes: Define AT_PAGESZ in aux vector5个月前
- miscconvert to SDPX license tags4年前
- toolscamkes-deps: fully remove orderedset; bump version1年前
- .gitignoreconvert to SDPX license tags4年前
- .licenseignoreconvert to SDPX license tags4年前
- .linkcheck-ignore.ymlgithub: use central CI workflows4个月前
- .stylefilterconvert to SDPX license tags4年前
- CHANGES.mdRelease camkes-3.11.01年前
- CMakeLists.txtconvert to SDPX license tags4年前
- Findcamkes-tool.cmakeconvert to SDPX license tags4年前
- README.mdreadme: add vulnerability reporting policy (#74)4年前
- VERSIONUpdate VERSION file to camkes-3.11.0-dev1年前
- alltests.pyconvert to SDPX license tags4年前
- camkes-top-level.cmakeconvert to SDPX license tags4年前
- camkes.cmakeCMake: add missing parameter DTB_FILE_PATH3年前
邀请码
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.