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:942f1bfa16e2a1f7872001f6adcb37241e2f6bd474edd4cdb93a9f7ac6650dc4
SHA256:280b0536c5940db8c963b8e9e1fd72489658b37eaf1b4126dd6be36b16a6eb2e
SHA256:730d884d9b7ab319f56cd258011d88dbf57b3f9b4d0ba182b712e9923947f731
SHA256:665a13e33d49b8e494e30607eeff900c0b6c10096790254543e7a211e0f4b347
Scheduling and executing shell jobs
SHA256:80307342a6a91682797fe922ddad61711cecf2b009c19bb17b924cbc50df9ae4
SHA256:23e1dd4915557b989ea71f951091e18bfd8aeb2e8227c6782a76d86c8e0a3dad
SHA256:d543e538908175e293a427c4f17d0278c8d796a1054c2afa396be7a1d3a81d18
SHA256:df936b8e257c989e45f3fd52565049f0a6b192fa211bd862c114ccf9d126c1da
Web interface for builder
SHA256:1af4183cdb5197c8db67030c64b993d67e1305b2d8b5bd569ff4b51ae954563b
SHA256:c688d90e81b8baddae03a4cae0abaacb7fdf86297203cda7bbef4480e79eb128
SHA256:0eac80bdd0184f6670513cba0463aad7ceebf9731cd352ebad0813fe83799c13
Dissect OCaml compiled programs, and weight their content
SHA256:735080752feb94b6c10b51b157efa215960aa632477257475385a657f819b70e
SHA256:efb3a1409381bcbf63b5862420d514e0fe7f6451f8d500838f784f455dc9306f
SHA256:5e029a53c8baa0dfe8f0356623c77a0bb984a91dd6c1bd240033fbfcdb3267da
Graphing dependencies of opam packages
SHA256:3b6900b13be0acda27d74653e79b4d2634ad065718ece746b56fa551e08e1d5c
SHA256:2cddd94bdbbe5cf15560760401ac9e0d4c22357733cd3ed7ab26e2a07cdb0d98
SHA256:5f610b5965e3d085665e0c1d04fe1c117a177acdc94f92fea4308fdb57ace7c2
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