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

Download albatross.deb (17.8MB)

SHA256:ff3007659477320ba7bf263515374b22cb44265a3ceca66d2f2e30c81d8cf892

Download albatross.pkg (12.3MB)

SHA256:4cb8306c74ef7edc83c5f8e2391ee7d2df066c204514a79e18cce7bb27efa723

Download albatross.pkg (12.1MB)

SHA256:2ee91451361bcc1e78f98691c32df1b7fc6abdf668efb9bf26a4c66ebb203f6a

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

SHA256:2d310d969035ddfafce6bf06ca052b59a0369f01fb4082e4590f230faf6184d0

Download builder-web.deb (15.1MB)

SHA256:f9b7db165046fef0c4b6206ea8649870d280f647eddb96142926797143eaff91

Download builder-web.pkg (12.7MB)

SHA256:41c484fc553f5590be9e3ebb2b8b6e654cfa2145d8050718ea4263f9948395b3

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

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

SHA256:3e2a6c5bb01a23f50f3daadb64fbb4af4929d2106c8425c3b4a2105bbb237f40

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

SHA256:f840c91bf24558284ba2e03d356c5b7f50a82288681f0dc760c93e4123031e9b

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

SHA256:fd990f56c030dce163792fa87eb9d7d62b048f2d6d3d9f37bbb803d53039e222

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

SHA256:8c6d726717dad19e4a575f9c3e49ca9aeac7992ea1a8adaa36bd02ff80324c0f

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

SHA256:d8056f0d118f6b5adcb5a2c77d0493f1721dd82ce19d1ffff3398318a36ce83f

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

SHA256:b9056557b9aa8393e2a279215b63db0808c35dd5a2172df52ee668abb8af03b1

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

SHA256:239d28b4a350f7079b7785fffdcb5c27b40443cab6ed17f83645ce4b9ad614c7

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

SHA256:e544bb853ef826f4898dc949576de202b03bd8c6985bc3dea42ed0616512920e

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

SHA256:335779ab97fd4a061f6953e93b93ef040a525c36d7dd1bf5e50c894742816801

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

SHA256:01a725353c823ffb6c4502f0378334bbad1c23d0fb1d2b829aae94587b02d67c

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

SHA256:910ed2eccd0fdbb1314a41a37e87699ad5fa1ac51a1cd9e235e6d87898ecb7ed

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

SHA256:c8ada23f93be2a93701ef1433d219770b1e0a0694e0ca13d4959c2f609b285f0

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:2fbb5d7fc02042f9d9666ad0cf60894a78fc733d8471cae606c23e2c7be80fb7

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

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

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

SHA256:3c427202fea21b4ef5a0f88872b66e0f02709be6edbff9bfdb1242c9420c95a8

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:8468207bd83256874a6c3df07954dd166ce6ac3e50d670af30666ed33aebdc25

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

SHA256:d2dd59d479e09f8a9c97a16ce2b81049a73e362471e3df962f2759946318ef50

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

SHA256:53c169f14e49648d69efb27e745ddf3c49a4a91c090e79f2be6d6be39fb52900

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

SHA256:f819f2d884b99e3ed58edd893c4b9f3a82430f9abb5952c271dbc3d1864a2ded

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

SHA256:a5c2f16c843c8f47ca3e346cc4c3d37af861df0b743fae0d3db28de1abe6ff46

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:6caf1d71ad274110bd4b7db332bd6097be29cf40789daace2577930fa498ffe2