Attribution
Open-source components
The Parsimoni Platform uses these open-source components:
- Solo5 provides the
hvtandspttenders for unikernel workloads. - MirageOS provides the OCaml unikernel framework.
- Unikraft provides a POSIX-compatible unikernel framework for C, C++, and Rust applications.
- runc provides the OCI container runtime. The Platform uses it for container isolation and build-step sandboxes.
- Linux provides the dom0 control-plane kernel through LinuxKit kernel packaging.
Verification scope
An upstream proof applies only to the code and properties named by that proof. It does not prove the Platform or an entire dependency.
Design lineage
These systems influenced the Platform architecture without contributing code to it:
- LinuxKit influenced the minimal-init and OCI image composition model. Space CLI uses an OCaml image assembler for this model.
- OBuilder influenced the content-addressed build steps and their runc sandboxes.
- Albatross influenced the unikernel supervision model used by the runner and its agents.
- Dagger influenced the common service model for build steps and runtime services. It also influenced the two-layer build cache.
Licenses
Documentation under src/content/docs/ is licensed under the Creative
Commons Attribution-NoDerivatives 4.0 International License.
You may share unchanged copies with attribution to Parsimoni. The license does
not permit distribution of modified copies.
The Astro configuration, components, styles, scripts, and other site source are licensed under the MIT License. Third-party components retain their own licenses.
