目录
- .githubgithub: use central CI workflows1年前
- .reuseadding img png and update dep59个月前
- LICENSESconvert to SDPX license tags5年前
- camkescamkes: add optional domain schedule declarations29天前
- cdl-refine-testsRemove references to kzm platform4年前
- componentstrivial: update style to new cmake-format8个月前
- docsdocs: document domain schedule section18天前
- examplesconvert to SDPX license tags5年前
- includeconvert to SDPX license tags5年前
- libcamkescakemltrivial: update style to new cmake-format8个月前
- libsel4camkestrivial: update style to new cmake-format8个月前
- miscconvert to SDPX license tags5年前
- toolscamkes-deps: fully remove orderedset; bump version1年前
- .gitignoreconvert to SDPX license tags5年前
- .licenseignoreconvert to SDPX license tags5年前
- .linkcheck-ignore.ymlgithub: use central CI workflows1年前
- .stylefilterconvert to SDPX license tags5年前
- CHANGES.mdRelease camkes-3.12.018天前
- CMakeLists.txtBump minimum CMake version8个月前
- Findcamkes-tool.cmaketrivial: update style to new cmake-format8个月前
- README.mdreadme: add vulnerability reporting policy (#74)4年前
- VERSIONUpdate VERSION file to camkes-3.12.0-dev18天前
- alltests.pyconvert to SDPX license tags5年前
- camkes-top-level.cmakeBump minimum CMake version8个月前
- camkes.cmaketrivial: update style to new cmake-format8个月前
邀请码
版权所有：中国计算机学会技术支持：开源发展技术委员会
京ICP备13000930号-9
京公网安备 11010802032778号
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.