目录
- .githubgithub: use central CI workflows4个月前
- .reuseobject_sizes: Correctly license object_sizes.yaml5年前
- LICENSESConvert to SPDX license tags5年前
- capDL-toolcapDL-tool, capdl-loader-app: support bound nfns4年前
- capdl-loader-apptrivial: make capitalization more consistent3年前
- cdl_utilsundyped_gen: remove pyaml dependency12个月前
- object_sizessmc_cap: Add SMC capability to capDL-tool3年前
- python-capdl-toolpython-capdl-tool: remove redundant assignment1年前
- .gitignoreConvert to SPDX license tags5年前
- .licenseignoreobject_sizes: Correctly license object_sizes.yaml5年前
- .linkcheck-ignore.ymllinkcheck: ignore haskellstack.org4个月前
- .stylefilterRemove .template.c from style check5年前
- CHANGES.mdundyped_gen: remove pyaml dependency12个月前
- CMakeLists.txtConvert to SPDX license tags5年前
- CODE_OF_CONDUCT.mdAdd code of conduct link5年前
- Findcapdl.cmakeConvert to SPDX license tags5年前
- README.mdreadme: add vulnerability reporting policy (#26)4年前
- VERSIONUpdate VERSION file to 0.3-dev1年前
邀请码
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.