目录
- .githubgithub: use central CI workflows1年前
- .reusecapDL-tool: add an AArch64 test example5个月前
- LICENSESConvert to SPDX license tags5年前
- capDL-tooltrivial: fix broken link24天前
- capdl-loader-appcapDL-tool+loader-app: C domain schedule init1个月前
- cdl_utilsundyped_gen: remove pyaml dependency1年前
- object_sizesSGI support for capDL-tool + loader + python3年前
- python-capdl-toolpython-capdl-tool: support for domain schedules29天前
- .gitignoreConvert to SPDX license tags5年前
- .licenseignoreobject_sizes: Correctly license object_sizes.yaml5年前
- .linkcheck-ignore.ymllinkcheck: ignore haskellstack.org1年前
- .stylefilterRemove .template.c from style check5年前
- CHANGES.mdRelease 0.5.018天前
- CMakeLists.txtBump minimum CMake version8个月前
- CODE_OF_CONDUCT.mdAdd code of conduct link5年前
- Findcapdl.cmaketrivial: update style for new cmake-format8个月前
- README.mdreadme: add vulnerability reporting policy (#26)4年前
- VERSIONUpdate VERSION file to 0.5.0-dev18天前
邀请码
版权所有：中国计算机学会技术支持：开源发展技术委员会
京ICP备13000930号-9
京公网安备 11010802032778号
Capability Distribution Language
Collection of tools for generating, parsing and loading capdl specifications of systems:
Reporting security vulnerabilities
If you believe you have found a security vulnerability in this code, we ask you to follow the seL4 vulnerability disclosure policy.