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

SHA256:c679677b0c76571ec9225a747ce91960427b30b961033c455776b0aa805d42bc

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

SHA256:c9bd74850e9e2d067112141451374ff1e91925ee66849e969ebfa226d491799e

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

SHA256:8fb07aa2674bd058ea576298b0eb22840acb49de12ee74dbea779634ee929b95

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

SHA256:cd63cdcb85fb1fab4fdd65fd5a0135870e5c291de7353fb6cda90b0516816f0d

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

SHA256:b074acb720688fa3dd40ba131e7db6a54633351a20e1876c5208f2e7294fa472

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

SHA256:abf6c1357f387ef08ea944c27c6c897bae595f4ec6c9dd4dbff822e91ce493af

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

SHA256:cb0d515e1cd22ae5fd8a474c1c7707577d459e55afa9c445a45da85b805fe152

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

SHA256:eeaa7d1b5965b4845200134674f05845917bb336ae8cfe893cac9d5542006e9c

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

SHA256:1cf3da3f9fef69854ba83c4d876f503619466551826466c50ff8dbc1ceb817a4

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

SHA256:617f3bb6e3689ddb57016edcb5f67183beecbba7b49a9b0451e6a327dde3aa6f

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

SHA256:4c4ff6ca5b210dcdcb518efaf2a61baee9f6ce78143cc77314c127c3ec2cef8d

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

SHA256:160b72286e52d060a23022d40d84ff30fa98eb9822b97f73e50fcdd6c1b7e7bb

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

SHA256:7f1d40410df78bc5edfd5a4868dc9b0228ed6f506a045008ed4a754db51b774f

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

SHA256:5ac8bb7d2c265fc8200e33e88588167ecf47fb2e6667bf04c564ae0331e3ae33

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

SHA256:54b962f63ed2454561ad9d248d976e6f94b22425d39ce045ae46b76777c0d7e3

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:181e07933e209b71f22733583bad30bea3731372655f73c8e433c05ed8c5cc49

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

SHA256:6c020de8505d73e9b40914029a0f3c986e864a072c730db31844a61e6cbcaa8c

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

SHA256:e06366070830ac3f47034b5bb7b7be9f317d8cbde5eac26297f28ab7dbe1d315

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

SHA256:41852f70f02a6d18d4373115e7ae75476cf5e51fc4af22a96efa581c026546a0

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

SHA256:e7ef89a548440c3817888cf679b87aa29c743f50613a74056aa8c362cec401bb

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

SHA256:a5895efc6d3c774c31968bc8c7159e94488692fbf52449f059ca422094565b06

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

SHA256:af6828836919e740974cd3d2d7d7fcc74d3cb7c0d5847814bb65238a1747992b

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

SHA256:29118cb674d15c15ea635feebe15db1c43bd6f5057e0f69dca5644eba954e2d9