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:fb1db925d87d0951cb2b0a0c50e1414184c724fdd54d9c4144eda2c4ca1bd891
SHA256:0e5aabe227b69832de777b39a3ec8dd52d83cf90f6d8fce58cda07a2c724ca48
SHA256:f53f47170d8db93ef070d5a76bc84ac21eab65af2990334161fd1a5943af0513
SHA256:d42af69869ec3ee42dcf1bcfc8bc4c5ae1e7599c399a01be5835d7cc7f911524
Scheduling and executing shell jobs
SHA256:c8472048bb0072fdb7d578e131ee276449354aadd1207802b01500c1354fe371
SHA256:9fb3bc3ba021cd33ed294d7747ccd3d28255d024e26b2a9ffb9d01b8007b5e16
SHA256:f251345ef94ffc34694dbc6f1dab3a0fbb3c24393fcd6dc664046f7c5879e120
SHA256:d37ffbba6bc478c62797b37bf4e3157664b20e030a206f0623d636d68c7cbe00
Web interface for builder
SHA256:9a21084c89507013ccc7dfc9082e438924285f156820c467b34970a0194cbd5b
SHA256:12c7dd88e5d27023899f48c7eb082bdc0d534443ce082d448b24199e8bbb3e9c
SHA256:525d281efb77b8b8742ba6b84313e789f9a5290e7e9628db2d1bd50f5f26ded8
Dissect OCaml compiled programs, and weight their content
SHA256:4a9f1a89a65025c2b135aca8981f28b4aab2b065b607f7b55f4359eec7f984c4
SHA256:02cabc00c850d293da2770e59dff121f6e7e543c98d00ccbc8a0c32341ad27aa
SHA256:03db07118cbc991032cc760987b87f9f947bb8a86a154150db20183d0c62ba74
Graphing dependencies of opam packages
SHA256:814a472be6e82c83f1e494bd8a43c6c2b913c828f4d155e9fe16a08ee9898b44
SHA256:69d1da45808b86bb5fd3053ff9b87e105c587f01bae207c98ceff8609e91c91a
SHA256:5299464a01c0c27d0a95b6281fa18c04462f7c6d7e26ec7dea4d76819143c3b8
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:3b908f9417fd504df78dda86f784c0cbbb92ddb08c0052f6170650faddfe817a
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:a81de5fa8a56358b7df43b40fedf12a85774c81342e803a351c8556984eb178b
A secondary DNS server as unikernel
SHA256:8f10a0110bc43407258ea198663a1f62579d234be3670a80730c882c8c1c6e15
A DNS stub resolver
SHA256:9faa6fea2575f94492320d132b203a1155096943c4302c52c46d16914efe48b6
A DNS resolver and DHCP server MirageOS unikernel
SHA256:d6f58466b3cc3760403b335c6469fb4cd163bea9f51503ec539aef9ae601e579
The famous hello world unikernel
SHA256:4e7741ce6063d3e1d77323fe56373722eda13f33183d861e70dc3e5bba135a24
An OpenVPN-compatible server unikernel.
SHA256:8ef4d316ab927a8ee5946da962e99e27bb04125fe5a1eb66c1a8ac2b559c4c81
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:737efc48787d7b6880c7fa22bf946944bb5a862865d6e3c61a6d57646d387322
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:02d53cfbd3558343fb1a1fc06628a641a5df9cb30536e83ac5730201b4a9e894
A unikernel executing a traceroute
SHA256:8ac8ed2822af88c493cf29163ee33a5b81c6789df9a33419a0c504e741041402
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:6229a7a769ee290b10abb563898b0d3bb46031f447e69edb1448f5185b990ce3
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:33537dd36a75b7ce744a7ca9c7ce1c88532b4df3e6daf07986e3cf257d214482
A secondary DNS server as unikernel which reports metrics to influx
SHA256:d0c69fa3444888b3387cb8723bcb142c213f93e50a0e5829a1fc88f5b5a9cdfe
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:250e4d4cc78629fa230b71ccb47264470fd74b8f8a88ac05c12c01563d55f832
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:3eec88ab9b58bcc2cbc412049fd7274f419ff30e0b850775248d676de30fe2be
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