目录
- .githubgithub: pin Ubuntu 22.04 for deployment step2个月前
- .reuseconvert to SDPX license tags4年前
- LICENSESconvert to SDPX license tags4年前
- camkestrivial: python style fix9个月前
- cdl-refine-testsRemove references to kzm platform3年前
- componentsserial: rename Serial.camkes files2年前
- docsdoc: Improve thread priority description3年前
- examplesconvert to SDPX license tags4年前
- includeconvert to SDPX license tags4年前
- libcamkescakemlconvert to SDPX license tags4年前
- libsel4camkeslibsel4camkes: Define AT_PAGESZ in aux vector16天前
- miscconvert to SDPX license tags4年前
- toolscamkes-deps: fully remove orderedset; bump version8个月前
- .gitignoreconvert to SDPX license tags4年前
- .licenseignoreconvert to SDPX license tags4年前
- .stylefilterconvert to SDPX license tags4年前
- CHANGES.mdRelease camkes-3.11.08个月前
- CMakeLists.txtconvert to SDPX license tags4年前
- Findcamkes-tool.cmakeconvert to SDPX license tags4年前
- README.mdreadme: add vulnerability reporting policy (#74)3年前
- VERSIONUpdate VERSION file to camkes-3.11.0-dev8个月前
- alltests.pyconvert to SDPX license tags4年前
- camkes-top-level.cmakeconvert to SDPX license tags4年前
- camkes.cmakeCMake: add missing parameter DTB_FILE_PATH2年前
邀请码
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.