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

Download albatross.deb (17.8MB)

SHA256:dd1ffb33ab07cc713ea6b045b39dbd72c2c9234e5da26289cc37de02a89019b7

Download albatross.pkg (14.9MB)

SHA256:445e66e5d9cca6d2ced4aef4681d6c93bcd1c7093224b227edb21666c789ffbf

Download albatross.pkg (12.1MB)

SHA256:fe50847bc5e53a5ba3a6ed6fee338da142db5aefebac6f303c5451b15d2c51bd

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

SHA256:9acaecbbbf33795a31807c9e2803d794178bd90e585df4fd949352d163428b90

Download builder.deb (7.32MB)

SHA256:d0238402419d202ca9103ee3024bc3f2fcdf69a1b91acf2a3dcae13728c1268a

Download builder.pkg (6.29MB)

SHA256:f6619b4a5d735d1e61226e931475cac50f0df00cde02ec0310869281f91652c4

Download builder.pkg (5.03MB)

SHA256:2d4e2b32f392e025a989d72f9425e423c8bd047c060ba707e4320c0771ee4c73

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

SHA256:9139770c88fd6caacfeecfda926944d17e1a7a1f1b58aaa79c4e150d464d42ba

Download builder-web.deb (15.1MB)

SHA256:a7ec8a0209a0daa14d4569faada290dfebbcc6544ea6a79e3e01c0c569f82fc1

Download builder-web.pkg (12.7MB)

SHA256:b7152f02f950bff627dab5db43c18e6b0a60c95f0e7101fe6b12c4c7ed748305

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

SHA256:3210f3c37ecc566b6b96442465a2973c34777c2659d0ab7811ee1c88b27761c5

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

SHA256:39cd5d7a06098c18dd366caaf0ba85d0333a5ea0befc20bf11ced02db77ba5bd

Download opam-graph.deb (2.3MB)

SHA256:4a2c8f40b79c63fed053e00de7ab3e0e0bf9517bf3be1ece74527435be806507

Download opam-graph.pkg (1.88MB)

SHA256:a0d5fbff875120fa88ea337d16ffa9fbee7703bee206ab88cf86b6a7f466fa16

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

SHA256:5eea4fb24608d8eca0644acde446c5f222cbaa444cc056eb5c6970faa6e3d70b

Download orb.deb (4.77MB)

SHA256:cd04b5978de1f751a300c150adb80a775d85443c7d0902312673732c4360e108

Download orb.pkg (4.52MB)

SHA256:7b58fd3a9eb08a359f1d607c2f9bf33ae5bdcc6a4eb9da34e9192957164ba567

Download orb.pkg (3.98MB)

SHA256:52376c1eeece507248a183cd9967cabd1b5e65f433db93c6daa2e335c1822055

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

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

SHA256:236ef477eaa7430d2e835c51835e2123f4792669f27b60a0b6f6203316cb81d0

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

SHA256:d954034f4d252ea28ba95d370441557343f39ff4b7affd12be7a4c6ff55a66d6

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

SHA256:e5ee488005286bb2adb7d60be111193cbe5249d290b68e33baa332e085b78df3

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

SHA256:c37ad1473806050087a5a86605c08d04ab2a2f3507a6918bb3bd61742b587fdf

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

SHA256:529d57f77f7ed0f7c6332c029e3a9d0c044209a49de24a1eea6f2141f6fdaa4a

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

SHA256:184d9ff551c49e0fd34c1f79fc65b1a859558a66c1860662b86348365ae34bf3

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

SHA256:56ab42349954156b5c0185dd847385001214d1a2b77f4ec990ca5cdd204ccd49

Download qubes-miragevpn.xen (8.5MB)

SHA256:7b5832808e5d71a483a3bf71758b5b2f7a0394223aabe9e66b6600b28d96e3f2

Download qubes-miragevpn.xen (7.85MB)

SHA256:1b21289b1532451f6bc9d07266a9fc7f736386a7837602661a2bf6055889dfef

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

SHA256:a60dcdfb5e47be5dc5ef2597139b5aa7b922968ae26ad08e3664cbc8e4344b57

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

SHA256:9148e8cdcf2440ea6309820b61fe145da92f6bb4fe379bef00a106ac2dfcdc7d

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

SHA256:2e06bed18bbae92c6cdecef0e35b257da26170c57a148bda45a706e354171ca8

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

SHA256:b3bb4c7c8c0c9d3d94ad2bfbeefdffc27fe00e1355d06e21172ce11eb8db375d

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

SHA256:300f9eaeb8b5b3871044384c149d477f09eaab8c285a60d3fefac74b666eba8d

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

SHA256:41db7a40e9031e0536ffb234389bbec1086072e2a4658f1e5d64e4e1ec4a62f5

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:0d74e3141f4b2e93a7789a88771fbce18c62037bb36fbe8ffb62983812231bf4

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

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:3e25703c501241e62b1cc03e9d1c8c8403787794daeb6e5eee917d5e526fbe6f

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

SHA256:05a59558f64174d631e1cc277894808bf54e588fcd9c758aedc2a96725d4813a

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

SHA256:81fa5ec2c3e9749bef2cf034b51d7a2170980eb4e5e328ac83620d060884eb02

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

SHA256:587a472daa305dac87aebfa95019999d01d59733013ea607c9f9d84d03f3c96e

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:95db3a2f9b655d19d7942f16d97c8c2df79045e09ae7d12a24962d6fef943aef

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

SHA256:7bbb8d2b88e51ae33d7e7c8f1376acbd97e6b9f89a6404af5508ad5c8557aeda

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

SHA256:30ece0be610d913b31999252f53a17b446bc35ac2ae153dbef7c11dddaa18175

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:5fe6f26c18af76a74ca01641b3d417677dfc9ab50099098d87ee37760b0f568c