secc/seL4-capdl

同步镜像关注点赞复刻(Fork)

目录

Gerwin Klein

github: bump actions/setup-python
Missed in previous commit.
Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems

7天前750次提交

.githubgithub: bump actions/setup-python7天前
.reusecapDL-tool: add an AArch64 test example7个月前
LICENSESConvert to SPDX license tags6年前
capDL-tooltrivial: fix broken link2个月前
capdl-loader-appcapDL-tool+loader-app: C domain schedule init3个月前
cdl_utilsundyped_gen: remove pyaml dependency1年前
object_sizesSGI support for capDL-tool + loader + python3年前
python-capdl-toolpython-capdl-tool: support for domain schedules3个月前
.gitignoreConvert to SPDX license tags6年前
.licenseignoreobject_sizes: Correctly license object_sizes.yaml6年前
.linkcheck-ignore.ymllinkcheck: ignore haskellstack.org1年前
.stylefilterRemove .template.c from style check6年前
CHANGES.mdRelease 0.5.02个月前
CMakeLists.txtBump minimum CMake version10个月前
CODE_OF_CONDUCT.mdAdd code of conduct link6年前
Findcapdl.cmaketrivial: update style for new cmake-format10个月前
README.mdreadme: add vulnerability reporting policy (#26)4年前
VERSIONUpdate VERSION file to 0.5.0-dev2个月前

Capability Distribution Language

Collection of tools for generating, parsing and loading capdl specifications of systems:

capDL-tool - A tool to assist working with capDL textual specifications
python-capdl-tool - A Python module for providing CapDL support
capdl-loader-app - The capDL initialiser for seL4

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.

关于

haskell python c

2.6 MB

邀请码