Reproducible OPAM Builds
This website offers binary MirageOS unikernels and supplementary OS packages. If you want to use our binary packages and setup unikernels, follow these instructions.
The unikernels are statically linked executables where the execution target is independent of the build platform - so even if they're compiled on a FreeBSD system they can be run on a Linux or OpenBSD host. Many are executed using a solo5 tender.
A persistent link to the latest successful build is available as /job/*jobname*/build/latest/. Each build can be reproduced with orb.
The builds are scheduled and executed daily by builder. This web interface is builder-web. Read further information on our project page.
This work has been funded by the European Union under the NGI Pointer program. Contact team AT robur.coop if you have questions or suggestions.
Execution Environments
- .hvt: hardware virtualized - requires solo5-hvt (Linux KVM, FreeBSD BHyve, or OpenBSD VMM)
- .xen: Xen PVH virtual machine (on a Xen or QubesOS host)
Packages
Albatross - orchestrate and manage MirageOS unikernels with Solo5
SHA256:c56fea881c4023462e4a8823acafb40ca6076cc96606d1bb4ddb1f15bfe55809
SHA256:ff3007659477320ba7bf263515374b22cb44265a3ceca66d2f2e30c81d8cf892
SHA256:4cb8306c74ef7edc83c5f8e2391ee7d2df066c204514a79e18cce7bb27efa723
SHA256:2ee91451361bcc1e78f98691c32df1b7fc6abdf668efb9bf26a4c66ebb203f6a
Scheduling and executing shell jobs
SHA256:c8472048bb0072fdb7d578e131ee276449354aadd1207802b01500c1354fe371
SHA256:9fb3bc3ba021cd33ed294d7747ccd3d28255d024e26b2a9ffb9d01b8007b5e16
SHA256:f251345ef94ffc34694dbc6f1dab3a0fbb3c24393fcd6dc664046f7c5879e120
SHA256:d37ffbba6bc478c62797b37bf4e3157664b20e030a206f0623d636d68c7cbe00
Web interface for builder
SHA256:4b29db3eaa7cb13d56ea1bd9e44c5c2aef3c4102ef05728e20b84fdcc8153607
SHA256:e476c91ea9d082e496ee584037935e8640072ea41d0d55613d9bec48cd5f524f
SHA256:fa0b2a823923abb4f2a0e9c389194f0e5ed83094f965e083e32b216fd4757663
Dissect OCaml compiled programs, and weight their content
SHA256:735080752feb94b6c10b51b157efa215960aa632477257475385a657f819b70e
SHA256:efb3a1409381bcbf63b5862420d514e0fe7f6451f8d500838f784f455dc9306f
SHA256:5e029a53c8baa0dfe8f0356623c77a0bb984a91dd6c1bd240033fbfcdb3267da
Graphing dependencies of opam packages
SHA256:5e4438b0aee6576c7761af82c1f16668fb5a705c08ca445991564a105c209e3d
SHA256:50f0a18717eba0586cfcab96ed28b400543535a4ab50b11007b77bf07ca8d147
SHA256:528b8ea73fe20022158d328b937f42100cd82e43c6eb2aa56c22ed6f342d348a
Check opam package reproducibility
Solo5 sandboxed execution environment
Unikernels
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
A DNS secondary server that pushes certificates signed by let's encrypt when certificate signing requests without a valid certificate are in the zone (using TLSA records)
SHA256:7acc27a7a0df369cf0d026f6b6a395e7723dde550b19b1f96818e15594285412
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:d68a9b2cb2502593ded4e6da45cb288dfbd7d080c11e090f4353313634ca3147
A secondary DNS server as unikernel
SHA256:fd990f56c030dce163792fa87eb9d7d62b048f2d6d3d9f37bbb803d53039e222
A DNS stub resolver
SHA256:1d8240682e998c773dd802da99619105390263260841c39c164e800ebed309c2
A DNS resolver and DHCP server MirageOS unikernel
SHA256:a2c50a008a60ec662d871b760b52686112c05406b1a6d84d252c41282cce321f
The famous hello world unikernel
SHA256:b9056557b9aa8393e2a279215b63db0808c35dd5a2172df52ee668abb8af03b1
An OpenVPN-compatible unikernel for QubesOS
SHA256:86a74e68908521d9d733b37d3d8419e2bc58fbf66dd7614625c626778eb83222
SHA256:d796290722b2520b5445746ca4272cbe2228a29cf3ba3d44c910ac9c004c3668
An OpenVPN-compatible server unikernel.
SHA256:ddcd0f5ee9f182448888b1828af22c758607bb9a737f2d27a442323b20331d19
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:ad1e9aae5b9c95a7960029ebd24b0d68a1795abf7930e974f1838091197f4d32
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:910ed2eccd0fdbb1314a41a37e87699ad5fa1ac51a1cd9e235e6d87898ecb7ed
A unikernel executing a traceroute
SHA256:c8ada23f93be2a93701ef1433d219770b1e0a0694e0ca13d4959c2f609b285f0
A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
Unikernels (with metrics reported to Influx)
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx and certificate retrieval via DNS and let's encrypt
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
A DNS secondary server that pushes certificates signed by let's encrypt when certificate signing requests without a valid certificate are in the zone (using TLSA records), reports metrics to influx
SHA256:99bc0d350dbe180707e0d26e5c1945ade1ebded0f86a187f184c7cfcd19f5a08
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:6af08eac58d8f1b347c82b4b4bd577ff3e18a9fbd13fa806bfdb4c0c01b6d8ce
A secondary DNS server as unikernel which reports metrics to influx
SHA256:d2dd59d479e09f8a9c97a16ce2b81049a73e362471e3df962f2759946318ef50
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:d67b786f3e636db47abe1c4ed90303bdca744fd5e5e50bf4a6dee575303a403b
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:a5c2f16c843c8f47ca3e346cc4c3d37af861df0b743fae0d3db28de1abe6ff46
A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge, which reports metrics to influx