登录注册

secc/seL4-capdl

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

分支13

标签7

+ 疑修

Web IDE

Gerwin Klein

python-capdl-tool: remove future package
Only needed for python2/3 compatibility which is now obsolete.
Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems

2天前760次提交

.githubgithub: bump actions/setup-python2个月前
.reusecapDL-tool: add an AArch64 test example9个月前
LICENSESConvert to SPDX license tags6年前
capDL-toolcapDL-tool: update domains in JSON representation12天前
capdl-loader-appcapdl-loader-app: fix MCS x86 us_to_ticks12天前
cdl_utilsundyped_gen: remove pyaml dependency2年前
object_sizesSGI support for capDL-tool + loader + python3年前
python-capdl-toolpython-capdl-tool: remove future package2天前
.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.6.010天前
CMakeLists.txtBump minimum CMake version12个月前
CODE_OF_CONDUCT.mdAdd code of conduct link6年前
Findcapdl.cmaketrivial: update style for new cmake-format12个月前
README.mdreadme: add vulnerability reporting policy (#26)5年前
VERSIONUpdate VERSION file to 0.6.0-dev10天前

README.md

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

README.md

3.1 MB

邀请码

加入我们
官网邮箱：gitlink@ccf.org.cn

QQ群

公众号