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

Download albatross.deb (17.7MB)

SHA256:ce0f3f33cd745dce29ab621193f2bfea411a0059f0862c8a469a07b042a871e0

Download albatross.pkg (13.7MB)

SHA256:37898caffe90a016af7e31ba3060ba4c1c8cc654baaa4ef4c8c192a3142c4d8f

Download albatross.pkg (14.7MB)

SHA256:c7873f8bf2198532fe881987bfd6b7c826ce5c49ed732b84aa6a89071bc67311

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

SHA256:7aa883774f82aca603731bb6eb80723968006124f2e3c4942094f8b222216d5c

Download builder.deb (7.31MB)

SHA256:fee77f8b472bcc811441ddee058aff28cda11e0760553588e4c8a71708ee40a5

Download builder.pkg (6.29MB)

SHA256:626de6764cbac5555cc6af001dff90616649603eac15dcf0da12dd207cc990f3

Download builder.pkg (6.2MB)

SHA256:16d340679d37d8e7f0a5b90e7ffc4a17026194455c59b23c943719a4c14e7458

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

SHA256:b47c4c572a22748d059f5549cd089917eba7d502b4db861495085e7a974c2231

Download builder-web.deb (15.2MB)

SHA256:9ee9ad3d8e108f8d7bc43ec55b442122bd38616bc65778a1010bbbc0e9063abf

Download builder-web.pkg (14.2MB)

SHA256:01bda4121b6278a30c3839536b6be7f0779add8f458a1342d74623349bd20ade

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

SHA256:08d16d35322f35b5166667d472c7888b385e763df78c5cf5a29103a51f741425

Download modulectomy.deb (1.5MB)

SHA256:da21da0d9f8c16dc00679511ff032eaa3705e28065ec982be6a9808b6a374a15

Download modulectomy.pkg (1.44MB)

SHA256:077e1c8b74d728c65c27daa318884dc6b0973073a18b2cab3bc83c890b34e886

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

SHA256:64aaf5e13564fd5bd7d2350f9544e90e7ba93d514631a590ef1ac5a7c8cfee2d

Download opam-graph.deb (2.33MB)

SHA256:dcfaf0bce9ee84e666567b158c9c35ede76cafc54e6482542c2262e39e2a6b89

Download opam-graph.pkg (2.16MB)

SHA256:e5d2f624ea3c60d1594967d27c4eefa2053a409f475c5dcda11bc55d213646cd

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

SHA256:ac936f829be2cde8312c92cb4744ffd1492639dfcf2600b14a1b28b59e64034e

Download orb.deb (4.77MB)

SHA256:5daccfffa21510016caf96b82c979a9f6ccbb77c7b6d412de322f14fb5251b1f

Download orb.pkg (4.52MB)

SHA256:1069b7a129c1c516763c78d4b818a870fff1b4866c5ca058bdcbef46088594bb

Download orb.pkg (4.49MB)

SHA256:578584087c632fe3f1b17190ef559db3dff33d9734e63fe63637a63480214e66

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

SHA256:b92e0c7e3008e0ec302e2c0c32b22def9756deb5a2f7858d6171841655e97f54

Download solo5.deb (101kB)

SHA256:4ab500ec22fbaabf37764f5c306b98cef7e64ebab2fad4b55ec9463fa6886657

Download solo5.pkg (78.1kB)

SHA256:4f6ef9d7c277ea03f6e8a2eb733c5f2e98f8a1567d1545efaae975d08cca52da

Download solo5.pkg (74.9kB)

SHA256:e7f27a2f2f3555896c2aa8993f9ebdc1ead0582d9aac814d7e5d7ed359718f50

Unikernels

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

SHA256:2a3be64df4a93929162113af99ceccd002371fcb5e858545ed71fa941e646fa2

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

SHA256:efa55e71f7bb1343c3060f9971dd0a1d57ab6aa1862dd7948440ebdc70938d51

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

SHA256:66253e45b5a26ba2637956dfcc31baa62482b94eb84a5d84076bcebdaa885701

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

SHA256:7bd57e9c325d95d11e5949598c9f86c3c601151f729fba4d31eafe091463cbf9

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

SHA256:719ef26cdfdf46acf04a8a3cc8d9b9f5e6dc533dea4588c1150a16c0270e998c

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

SHA256:2e770845791a53ad37f0486a0be453463c75559ace5f46fb0c96bb6058331418

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

SHA256:d464de712a94ff3836388fa62ea716fe6b187a2bfcebf885ef7b294141e7c0a9

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

SHA256:45cee36ea13322d9c2e3ed49ff926600438d5e8ae3ebd60a9771520fca7855fd

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

SHA256:151516dd04c7fcf22e427b4f3e902ac008b837b4a5aedf1574dd136aac8ea86b

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

SHA256:b24bede4e3d3547893bb88bb1ce6c6d1a15b8ed53cf5219d4941b781d22724e0

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

SHA256:bfe57056e38ef8bbfc96c7759875b86928b59cb540bc15b3a30829dabb4ff846

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

SHA256:9a52e4545e2c2cad04f170b1f7b1c156b094e6cdf4350d3006be7eccc1a860b0

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

SHA256:c36f4770936ef0a3d3d6354f66c6c5dfde530a1af74e0f21bd3c8b46b43f535c

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

SHA256:cb669555341e1bdb1cb41f801cc6e95971970ad624ee216e80db566eebc76db7

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

SHA256:d4d53c5bc1a469f139706f8daa0162993af43c0fbfcf83f739a18937fb1fce7b

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

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

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

SHA256:54c7d3f1423652a0cc47379bf479f8b205de4ebc80f60403e9e3565ce8a96f18

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

SHA256:d78faf7ff2b3dbf12b54fa807bc96baaf4394c1404ef694d684d2e4d1a53b85f

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

SHA256:53d9212fb0b138c43f390f8eef85648561fc0538e45d5d9200232760ce8478dc

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:5043f50590e5316c25e571ab08223ded766ce420e8743d94f26a9929bb9e9014

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

SHA256:1d1fb278d0f21788340666a3fd5e0033f3d0f7f57a0d5cc766eb22e1d0f1803b

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

SHA256:f673012c28feb7808d5a2d49802250f2fb83e619f209b731341aee42c2b5dd93

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

SHA256:49417762168d1a3edd310dce7899c7589a4c76b5412c27143bcb2f197b3f90b6