This directory contains files relating to a tool that translates from Galois' separation kernel specification to CapDL.
- docs/ — End-user documentation on how to use this tool.
- examples/ — An example of the input and output spec.
- src/ — The source code of the tool itself.
The expected workflow is for the user to specify a separation kernel configuration using the XML input specification (described in the Galois documentation). This specification can then be passed through either Galois' tool to target seLinux or this tool to target seL4. The seLinux target is intended to be used for prototyping a system, while the seL4 target is used for deployment.