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

Packages

albatross
Albatross - orchestrate and manage MirageOS unikernels with Solo5
Download albatross.deb (17.3MB)

SHA256:942f1bfa16e2a1f7872001f6adcb37241e2f6bd474edd4cdb93a9f7ac6650dc4

Download albatross.deb (17.8MB)

SHA256:280b0536c5940db8c963b8e9e1fd72489658b37eaf1b4126dd6be36b16a6eb2e

Download albatross.pkg (13.6MB)

SHA256:730d884d9b7ab319f56cd258011d88dbf57b3f9b4d0ba182b712e9923947f731

Download albatross.pkg (12.1MB)

SHA256:665a13e33d49b8e494e30607eeff900c0b6c10096790254543e7a211e0f4b347

builder
Scheduling and executing shell jobs
Download builder.deb (7.16MB)

SHA256:80307342a6a91682797fe922ddad61711cecf2b009c19bb17b924cbc50df9ae4

Download builder.deb (7.32MB)

SHA256:23e1dd4915557b989ea71f951091e18bfd8aeb2e8227c6782a76d86c8e0a3dad

Download builder.pkg (5.74MB)

SHA256:d543e538908175e293a427c4f17d0278c8d796a1054c2afa396be7a1d3a81d18

Download builder.pkg (5.67MB)

SHA256:df936b8e257c989e45f3fd52565049f0a6b192fa211bd862c114ccf9d126c1da

builder-web
Web interface for builder
Download builder-web.deb (14.5MB)

SHA256:1af4183cdb5197c8db67030c64b993d67e1305b2d8b5bd569ff4b51ae954563b

Download builder-web.deb (15.1MB)

SHA256:c688d90e81b8baddae03a4cae0abaacb7fdf86297203cda7bbef4480e79eb128

Download builder-web.pkg (12.7MB)

SHA256:0eac80bdd0184f6670513cba0463aad7ceebf9731cd352ebad0813fe83799c13

modulectomy
Dissect OCaml compiled programs, and weight their content
Download modulectomy.deb (1.43MB)

SHA256:735080752feb94b6c10b51b157efa215960aa632477257475385a657f819b70e

Download modulectomy.deb (1.49MB)

SHA256:efb3a1409381bcbf63b5862420d514e0fe7f6451f8d500838f784f455dc9306f

Download modulectomy.pkg (1.26MB)

SHA256:5e029a53c8baa0dfe8f0356623c77a0bb984a91dd6c1bd240033fbfcdb3267da

opam-graph
Graphing dependencies of opam packages
Download opam-graph.deb (2.23MB)

SHA256:3b6900b13be0acda27d74653e79b4d2634ad065718ece746b56fa551e08e1d5c

Download opam-graph.deb (2.3MB)

SHA256:2cddd94bdbbe5cf15560760401ac9e0d4c22357733cd3ed7ab26e2a07cdb0d98

Download opam-graph.pkg (1.88MB)

SHA256:5f610b5965e3d085665e0c1d04fe1c117a177acdc94f92fea4308fdb57ace7c2

orb
Check opam package reproducibility
Download orb.deb (4.61MB)

SHA256:5caeb02883b1109b263dabef36e1d00ad697a04a275766ad9b4438bfe9f2d1b8

Download orb.deb (4.73MB)

SHA256:3222670bea1acb0d666a3dd79ecd5057a9d4dc2f5c42a3a12f2290998f1466e5

Download orb.pkg (4.52MB)

SHA256:7b58fd3a9eb08a359f1d607c2f9bf33ae5bdcc6a4eb9da34e9192957164ba567

Download orb.pkg (3.95MB)

SHA256:ec4cf11a9e10fcf4c34e96e178cbc083cd0941f7079d66a28bb85334842ae927

solo5
Solo5 sandboxed execution environment
Download solo5.deb (99.2kB)

SHA256:b92e0c7e3008e0ec302e2c0c32b22def9756deb5a2f7858d6171841655e97f54

Download solo5.deb (101kB)

SHA256:4ab500ec22fbaabf37764f5c306b98cef7e64ebab2fad4b55ec9463fa6886657

Download solo5.pkg (78.1kB)

SHA256:46ae15db17abf39db6a62ef90b5ab4a8370481d6de43e59c7269c1ff170d867f

Download solo5.pkg (67.7kB)

SHA256:ae17905eea1134cd598fc5e9745c1ad42a8072a3fec681218087b0559b281842

Unikernels

caldav
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
Download caldav.hvt (14MB)

SHA256:d7d46cde9cfba76762bee21aa8afae32891887b70fcb34fcbf7918eb55631602

dns-letsencrypt
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)
Download letsencrypt.hvt (7.88MB)

SHA256:7acc27a7a0df369cf0d026f6b6a395e7723dde550b19b1f96818e15594285412

dns-primary-git
A primary DNS server unikernel that stores zone files in a remote git repository
Download primary-git.hvt (9.04MB)

SHA256:d68a9b2cb2502593ded4e6da45cb288dfbd7d080c11e090f4353313634ca3147

dns-secondary
A secondary DNS server as unikernel
Download secondary.hvt (3.53MB)

SHA256:fd990f56c030dce163792fa87eb9d7d62b048f2d6d3d9f37bbb803d53039e222

dns-stub
A DNS stub resolver
Download dns-stub.hvt (6.45MB)

SHA256:1d8240682e998c773dd802da99619105390263260841c39c164e800ebed309c2

dnsvizor
A DNS resolver and DHCP server MirageOS unikernel
Download dnsvizor.hvt (9.12MB)

SHA256:a2c50a008a60ec662d871b760b52686112c05406b1a6d84d252c41282cce321f

hello
The famous hello world unikernel
Download hello-key.hvt (1.97MB)

SHA256:b9056557b9aa8393e2a279215b63db0808c35dd5a2172df52ee668abb8af03b1

miragevpn-qubes
An OpenVPN-compatible unikernel for QubesOS
Download qubes-miragevpn.xen (8.49MB)

SHA256:86a74e68908521d9d733b37d3d8419e2bc58fbf66dd7614625c626778eb83222

Download qubes-miragevpn.xen (8.49MB)

SHA256:d796290722b2520b5445746ca4272cbe2228a29cf3ba3d44c910ac9c004c3668

miragevpn-server
An OpenVPN-compatible server unikernel.
Download ovpn-server.hvt (6.97MB)

SHA256:ddcd0f5ee9f182448888b1828af22c758607bb9a737f2d27a442323b20331d19

mollymawk
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
Download mollymawk.hvt (10.5MB)

SHA256:ad1e9aae5b9c95a7960029ebd24b0d68a1795abf7930e974f1838091197f4d32

opam-mirror
An unikernel implementing an opam-repository and archive mirror
Download mirror.hvt (9.71MB)

SHA256:b1313854327dd96140fdb131960ca0ea8c9eb5b7316cf4a7a04014c274568afe

static-website
A static website example unikernel
Download https.hvt (7.07MB)

SHA256:3796127af6c5c99f0faf44d244cb1220769f7969bd9b7b280cd89cfa998418e3

tlstunnel
A TLS reverse proxy unikernel
Download tlstunnel.hvt (6.01MB)

SHA256:910ed2eccd0fdbb1314a41a37e87699ad5fa1ac51a1cd9e235e6d87898ecb7ed

traceroute
A unikernel executing a traceroute
Download traceroute.hvt (2.46MB)

SHA256:c8ada23f93be2a93701ef1433d219770b1e0a0694e0ca13d4959c2f609b285f0

unipi
A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
Download unipi.hvt (9.64MB)

SHA256:a9a197d29a9143b12d53bfd27e8713a8aefb6d5a5b12a23ab50eec1f31c43475

Unikernels (with metrics reported to Influx)

caldav-le-monitoring
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
Download caldav.hvt (14.2MB)

SHA256:d75efe4cb1cbffbf37f3cb53b18fd640ae081809b80290fc7f448c29d955d52a

caldav-monitoring
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
Download caldav.hvt (14.1MB)

SHA256:4782908b655e04ec2e77b1e24040fd53ee3993dc51e29100841ada3d7b9dc382

dns-letsencrypt-monitoring
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
Download letsencrypt.hvt (8.1MB)

SHA256:99bc0d350dbe180707e0d26e5c1945ade1ebded0f86a187f184c7cfcd19f5a08

dns-primary-git-monitoring
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
Download primary-git.hvt (9.2MB)

SHA256:6af08eac58d8f1b347c82b4b4bd577ff3e18a9fbd13fa806bfdb4c0c01b6d8ce

dns-secondary-monitoring
A secondary DNS server as unikernel which reports metrics to influx
Download secondary.hvt (3.8MB)

SHA256:d2dd59d479e09f8a9c97a16ce2b81049a73e362471e3df962f2759946318ef50

miragevpn-router
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
Download ovpn-router.hvt (7.2MB)

SHA256:d67b786f3e636db47abe1c4ed90303bdca744fd5e5e50bf4a6dee575303a403b

retreat
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
Download retreat.hvt (6.9MB)

SHA256:f819f2d884b99e3ed58edd893c4b9f3a82430f9abb5952c271dbc3d1864a2ded

tlstunnel-monitoring
A TLS reverse proxy unikernel, reports metrics to influx
Download tlstunnel.hvt (6.28MB)

SHA256:a5c2f16c843c8f47ca3e346cc4c3d37af861df0b743fae0d3db28de1abe6ff46

unipi-monitoring
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
Download unipi.hvt (9.8MB)

SHA256:5544ef6f00e1981a34d4b7122565211bd90cb248e30f729cb609ee7f50547b8e