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:fb1db925d87d0951cb2b0a0c50e1414184c724fdd54d9c4144eda2c4ca1bd891

Download albatross.deb (17.7MB)

SHA256:0e5aabe227b69832de777b39a3ec8dd52d83cf90f6d8fce58cda07a2c724ca48

Download albatross.pkg (13.5MB)

SHA256:f53f47170d8db93ef070d5a76bc84ac21eab65af2990334161fd1a5943af0513

Download albatross.pkg (12.1MB)

SHA256:d42af69869ec3ee42dcf1bcfc8bc4c5ae1e7599c399a01be5835d7cc7f911524

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

SHA256:c8472048bb0072fdb7d578e131ee276449354aadd1207802b01500c1354fe371

Download builder.deb (7.32MB)

SHA256:9fb3bc3ba021cd33ed294d7747ccd3d28255d024e26b2a9ffb9d01b8007b5e16

Download builder.pkg (6.27MB)

SHA256:f251345ef94ffc34694dbc6f1dab3a0fbb3c24393fcd6dc664046f7c5879e120

Download builder.pkg (5.03MB)

SHA256:d37ffbba6bc478c62797b37bf4e3157664b20e030a206f0623d636d68c7cbe00

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

SHA256:9a21084c89507013ccc7dfc9082e438924285f156820c467b34970a0194cbd5b

Download builder-web.deb (15.1MB)

SHA256:12c7dd88e5d27023899f48c7eb082bdc0d534443ce082d448b24199e8bbb3e9c

Download builder-web.pkg (12.7MB)

SHA256:525d281efb77b8b8742ba6b84313e789f9a5290e7e9628db2d1bd50f5f26ded8

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

SHA256:4a9f1a89a65025c2b135aca8981f28b4aab2b065b607f7b55f4359eec7f984c4

Download modulectomy.deb (1.5MB)

SHA256:02cabc00c850d293da2770e59dff121f6e7e543c98d00ccbc8a0c32341ad27aa

Download modulectomy.pkg (1.25MB)

SHA256:03db07118cbc991032cc760987b87f9f947bb8a86a154150db20183d0c62ba74

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

SHA256:814a472be6e82c83f1e494bd8a43c6c2b913c828f4d155e9fe16a08ee9898b44

Download opam-graph.deb (2.28MB)

SHA256:69d1da45808b86bb5fd3053ff9b87e105c587f01bae207c98ceff8609e91c91a

Download opam-graph.pkg (1.86MB)

SHA256:5299464a01c0c27d0a95b6281fa18c04462f7c6d7e26ec7dea4d76819143c3b8

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

SHA256:acf98676218ad7cf062d5c5463171f02cddf1fe51c0d53365cc583e026ab099f

Download orb.deb (4.71MB)

SHA256:13dc02c57fb92ebfda97684abacf380eb5bc7dfaecb3420babe0210e5e093dff

Download orb.pkg (4.47MB)

SHA256:a713b5cd8f15197f9997cc1004929f2401d0101b14e184db9e22c1d1edbec576

Download orb.pkg (3.93MB)

SHA256:00b226adc933e084e70af0eab35dcc77aec5ca1a6497ead3699d4cb2b51e7ad2

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 (13.9MB)

SHA256:f68bde4bbc080e70e21f31b3c5be336cd9180b52fc5cb7a9a2ebc5afc6729751

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.85MB)

SHA256:3b908f9417fd504df78dda86f784c0cbbb92ddb08c0052f6170650faddfe817a

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

SHA256:a81de5fa8a56358b7df43b40fedf12a85774c81342e803a351c8556984eb178b

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

SHA256:8f10a0110bc43407258ea198663a1f62579d234be3670a80730c882c8c1c6e15

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

SHA256:9faa6fea2575f94492320d132b203a1155096943c4302c52c46d16914efe48b6

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

SHA256:d6f58466b3cc3760403b335c6469fb4cd163bea9f51503ec539aef9ae601e579

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

SHA256:4e7741ce6063d3e1d77323fe56373722eda13f33183d861e70dc3e5bba135a24

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

SHA256:8ef4d316ab927a8ee5946da962e99e27bb04125fe5a1eb66c1a8ac2b559c4c81

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

SHA256:737efc48787d7b6880c7fa22bf946944bb5a862865d6e3c61a6d57646d387322

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

SHA256:a78d21a2deb71bd97a31ac4a2418c52abc1a58220aaa8d8eb8f146a9ef9c4d39

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

SHA256:7d947e36b62693c3e0be0c3ec00b9e7e889036ceaa78d75d4c8f63c30e9b1d95

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

SHA256:02d53cfbd3558343fb1a1fc06628a641a5df9cb30536e83ac5730201b4a9e894

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

SHA256:8ac8ed2822af88c493cf29163ee33a5b81c6789df9a33419a0c504e741041402

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:bef83a09f4296df9f03b410e8391ca15044e1d22c3a558e7f016f25be74d5c5c

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:b0a586cc4ea5f0ac23851047f427ac3b2201692d7f171e7ccc090aa1ad7f3b4f

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:7646a1c95a07884326ab37ac9374cdbb9571ef4b9a6dea5f0147b4f9641ec91a

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.08MB)

SHA256:6229a7a769ee290b10abb563898b0d3bb46031f447e69edb1448f5185b990ce3

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.21MB)

SHA256:33537dd36a75b7ce744a7ca9c7ce1c88532b4df3e6daf07986e3cf257d214482

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

SHA256:d0c69fa3444888b3387cb8723bcb142c213f93e50a0e5829a1fc88f5b5a9cdfe

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

SHA256:250e4d4cc78629fa230b71ccb47264470fd74b8f8a88ac05c12c01563d55f832

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

SHA256:75bb9bc818c16a490946e693e018dcdf6fd93c7aa628638c01e2da2ccda77da3

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

SHA256:3eec88ab9b58bcc2cbc412049fd7274f419ff30e0b850775248d676de30fe2be

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:c78a101f6831edf588610e19941c069e593f1a0ad8ac991a0173bbe46ed02862