可控开源社区

secc/seL4-capdl

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

目录

Gerwin Klein

github: specify ghc and cabal version
This duplicates info from under capDL-tool, but it seems the
haskell/setup action can’t be persuaded to not immediately install
something (stack-no-global had no effect).
Signed-off-by: Gerwin Klein gerwin.klein@proofcraft.systems

8个月前717次提交

.githubgithub: specify ghc and cabal version8个月前
.reuseobject_sizes: Correctly license object_sizes.yaml4年前
LICENSESConvert to SPDX license tags4年前
capDL-toolcapDL-tool, capdl-loader-app: support bound nfns4年前
capdl-loader-apptrivial: make capitalization more consistent3年前
cdl_utilsundyped_gen: remove pyaml dependency8个月前
object_sizessmc_cap: Add SMC capability to capDL-tool3年前
python-capdl-toolpython-capdl-tool: remove redundant assignment1年前
.gitignoreConvert to SPDX license tags4年前
.licenseignoreobject_sizes: Correctly license object_sizes.yaml4年前
.stylefilterRemove .template.c from style check4年前
CHANGES.mdundyped_gen: remove pyaml dependency8个月前
CMakeLists.txtConvert to SPDX license tags4年前
CODE_OF_CONDUCT.mdAdd code of conduct link4年前
Findcapdl.cmakeConvert to SPDX license tags4年前
README.mdreadme: add vulnerability reporting policy (#26)3年前
VERSIONUpdate VERSION file to 0.3-dev8个月前

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

1.7 MB

邀请码

Gitlink（确实开源）

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

QQ群

QQ群

公众号

公众号

©Copyright 2023 CCF 开源发展委员会
Powered by Trustie& IntelliDE 京ICP备13000930号