文件名称：capdl:seL4的功能分配语言工具
文件大小：245KB
文件格式：ZIP
更新时间：2024-05-13 04:29:30
capdl Haskell
能力分配语言 生成，解析和加载系统capdl规范的工具集合： capDL-tool-一种辅助使用capDL文本规范的工具 python-capdl-tool-一个提供CapDL支持的Python模块 capdl-loader-app-seL4的capDL初始化程序
【文件预览】：
capdl-master
----.licenseignore(425B)
----object_sizes()
--------CMakeLists.txt(698B)
--------README.md(576B)
--------object_sizes.yaml(2KB)
----Findcapdl.cmake(846B)
----cdl_utils()
--------templates()
--------README.md(944B)
--------capdl_linker.py(7KB)
--------untyped_gen.py(7KB)
----.github()
--------workflows()
----CHANGES(6KB)
----.reuse()
--------dep5(720B)
----LICENSES()
--------LicenseRef-Trademark.txt(289B)
--------BSD-2-Clause.txt(1KB)
--------CC-BY-SA-4.0.txt(18KB)
----capdl-loader-app()
--------helpers.cmake(3KB)
--------include()
--------src()
--------CMakeLists.txt(3KB)
--------README.md(1KB)
----VERSION(15B)
----.gitignore(119B)
----CMakeLists.txt(205B)
----CODE_OF_CONDUCT.md(330B)
----README.md(428B)
----capDL-tool()
--------example-arm.cdl(2KB)
--------cap-dist-elf-simpleserver.cdl(688B)
--------hello-dump.cdl(15KB)
--------capDL-tool.cabal(2KB)
--------iwana-ia32.cdl(10KB)
--------CapDL()
--------tools()
--------camkes-adder-arm.right(19KB)
--------example-ia32.right(2KB)
--------hello-dump.right(6KB)
--------stack.yaml(178B)
--------camkes-adder-arm.cdl(14KB)
--------example.cdl(1KB)
--------doc()
--------.gitignore(213B)
--------cap-dist-elf-simpleserver.right(625B)
--------Makefile(2KB)
--------README.md(2KB)
--------Main.hs(10KB)
--------example-arm.right(2KB)
--------example-ia32.cdl(2KB)
--------camkes-adder-arm.thy.right(64KB)
--------camkes-adder-arm.object_sizes.yaml(565B)
--------capdl.dtd(1KB)
--------capDL-tool.cmake(3KB)
----.stylefilter(108B)
----python-capdl-tool()
--------tests()
--------requirements.txt(202B)
--------examples()
--------.gitignore(102B)
--------capdl()
--------README.md(523B)