commit: 2c81e0aae57921673b519cdcd1ff36ece56bd994
[log] [tgz]
author: Sam Leffler <sleffler@google.com>
Thu Oct 05 14:22:44 2023 -0700
committer: Sam Leffler <sleffler@google.com>
Thu Oct 05 14:22:44 2023 -0700
tree: 2faee3c06dab45f9cdfc222cd9049c26dc52a177
parent: c56a5a768b148f1ee9a3cd109eb3208b1905b9bd [diff]

cantrip-os-rootserver: fill from sec on nexus platform

Change-Id: I3ee12b84dad2866028f95bc818a1172d1c73f9e4

cantrip-os-rootserver/Cargo.toml[diff]

1 file changed

tree: 2faee3c06dab45f9cdfc222cd9049c26dc52a177

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