commit: 47a2b3def99641b972e5cbc9c4f1fdf8ed21e7fe
[log]
author: Sam Leffler <sleffler@google.com>
Mon Jul 10 09:30:37 2023 -0700
committer: Sam Leffler <sleffler@google.com>
Mon Jul 10 09:30:37 2023 -0700
tree: da266b245da7d78e60c7115695c1574ac01ff272
parent: 3ce8b9ddf2c74daf5abafda42c784cd2239cbcf1 [diff]

cantrip-os-rootserver: quiet cargo complaint

Rename "main.rs" to "lib.rs" to quiet an innocuous cargo complaint.

Change-Id: I6ab99c1417d73d077d147e8d4695d3253e1742f3

cantrip-os-rootserver/Cargo.toml[diff]
cantrip-os-rootserver/src/lib.rs[Renamed from cantrip-os-rootserver/src/main.rs - diff]

2 files changed

tree: da266b245da7d78e60c7115695c1574ac01ff272

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