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

SHA256:1c7e16e6b664b1272d30e5c1159163cf946874b6e8e406d0da064a6a4d9e103d

Download albatross.deb (17.9MB)

SHA256:707dc659328d82f341bfc1eff49d09fc52e768151aac1cd54ec836e48fb95f61

Download albatross.pkg (12.4MB)

SHA256:475732e06c37c30325cef2b14946d3622b171ea14da504c0f3fb4aa709b1ea1f

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

SHA256:7aa883774f82aca603731bb6eb80723968006124f2e3c4942094f8b222216d5c

Download builder.deb (7.37MB)

SHA256:19ab8d08b5ac6e4f2bcc5f044613507a544c1998bf65a66a63bc88ad71474e50

Download builder.pkg (6.25MB)

SHA256:bb3f3799e717c2df2df39169e24bf156d8c685906b6730198f7a90d41ee92567

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

SHA256:2f4ee5dd6ef0917dc4e0c23555d75d0ca0c10f1d339b9f154905fe26c89ffb2b

Download builder-web.deb (14.3MB)

SHA256:50844768585b8f089fa295a0d4b18e24d34651cc603449601cb25f3e7e2571d5

Download builder-web.pkg (13MB)

SHA256:5dbee30bd3f875e1984f2af7b601e492db7817a7d6e193035a2cb21a627b374e

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

SHA256:08d16d35322f35b5166667d472c7888b385e763df78c5cf5a29103a51f741425

Download modulectomy.deb (1.54MB)

SHA256:566739664378f741326044b0f870f8a7df90dae920526e018a31e1d8d0492168

Download modulectomy.pkg (1.47MB)

SHA256:2868b4090dfaa57fa1802183eafaddd57e921de0d00b7cfdd09337b98c0562fa

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

SHA256:64aaf5e13564fd5bd7d2350f9544e90e7ba93d514631a590ef1ac5a7c8cfee2d

Download opam-graph.deb (2.37MB)

SHA256:8d14b9e1e5922ca3ed767ea3270e5e0da0dc119f66eeca1c343fcb9c2f7a4cf9

Download opam-graph.pkg (2.2MB)

SHA256:51d8afd0d8575a568e46a9e27f4429fed746dbb840915376c2895ae3545ed869

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

SHA256:bcaea73afd4385e4143ec47714ef070bd658bd4e870273263c54d0604fe34122

Download orb.deb (4.78MB)

SHA256:ad1f9f84eaac4e8c33793445439ec94b5c8dcd1a03a4672a5e90b4518b1696ac

Download orb.pkg (4.49MB)

SHA256:7722ce3db7fc7f69c5e41858910caf0bb2fbd84d01e7b1eb791059ae6f9347c5

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

SHA256:b92e0c7e3008e0ec302e2c0c32b22def9756deb5a2f7858d6171841655e97f54

Download solo5.deb (101kB)

SHA256:8342f3531e06f4ceb782ca47190ba56b188c0192e198901bb7704c088f815011

Download solo5.pkg (75kB)

SHA256:541bfb9552713a6d41b6ce03f48178d3444f1312e3cb0f139d1e1ac27908e314

Unikernels

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

SHA256:804996963f4274a7c4eca2263fb7b28979f92b90371f0d3e7a435d4f33d8207f

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

SHA256:a4b57400ee6fc4fb7a078c8d5b701344b44211e9d2dc02950cfbf9b58239848d

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

SHA256:32f187bdd7607550edbe9b2a62b18e9352ac418f8f019b32b0751b1ef87408f1

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

SHA256:79254a529726ece937d23a365807f940aa99249c1f1bb5b72041902fe5b71a16

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

SHA256:a229290666e11cfdf29c3845c8c919b4580cec001acc50dac3acf7599905abb8

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

SHA256:9ebb0ab54358ef978805bc97e3322d646910bccd67f3c66b0876754cbecef028

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

SHA256:77d60ccd9bb18cb46c36626bc411586b7558a71664a27c7d39f214b58f0cf653

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

SHA256:478058a32b737df81b71444ee9830f52d0d554a958219707d07990dc2af64c57

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

SHA256:75990f397245eaf6f5f9626476d5dfd057c16d326441c85356d3b10ecccf9b26

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

SHA256:66ec92447fb4610221c7d0357e4467860eb218a30ab24d7f74003d520b686181

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

SHA256:eff15edb1b28a267edb0179344c36c6433b8c9f295ec0d52b843e95eea73a3c9

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

SHA256:28126a222732ab96253426540d2123a3e2e176a9180c0f92ef575de0ca237c18

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

SHA256:2712a79b3aa54c87b7991ce6eba348407fac72d4d61cd0edceb4b7606cc21fed

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

SHA256:9fc524e3b18a50d1f5c8ba79a57c5c0a7d0ab6fa61352cc178b2f03f0e734015

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

SHA256:cb842e351b5d3095aa58d516a73d732e63f8b046b44471d3734f82aa113148fb

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:42fb29ff8a3d0ae33ed49f30dbaae361d728b914eeb2906a139e166a3f73a77e

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

SHA256:48c2ffeaa5cb813ec7873618029f22c0fca0cb50d1f629de167a80f8859ed114

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

SHA256:231f5e764963024bd7e1591900511e0f833d464938a0722c874d85c27402cd93

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

SHA256:35707ee79cd45254c49872fa21988fd3fe3674ebff070efe3fe739ea11ac07dd

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

SHA256:48ab9e06041dbd0c8c2842063d5abf9eb2e24e27e844ef7b83fa4db884b0c140

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

SHA256:f34ff3809c2e02632417066101c322f210e2d385d11ddf98d29a75d1c078e6a3

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

SHA256:e1cb40f48016db0f96500f4464d7541eb7b82afc8683907534cd05f683f26a44

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

SHA256:40e2c7b5e1f30854d0dab531679cab9100d6a0dcf82b5f9d3b62fb9059357180

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

SHA256:acd01cacbba189743a4e0375f2925639639eee07f928bd92a733f8476161ca47