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:238cc23e2778aa5649ccddeabaaf444faacbaf8afba77af974958776488c3282

Download albatross.deb (17.8MB)

SHA256:90a90e79f5c25ad3d97ef1e8116e76183b5f59f15f20bafae5d19520434a6f6f

Download albatross.pkg (14.8MB)

SHA256:9da51b0c634260bd5423808eb310c630a1456a41f9d3a54a4eeabddd32bbe88f

Download albatross.pkg (13.1MB)

SHA256:79213df5ddef9fbadd052d7b9b4f70e6acbfc5c06271be182e477fbd11876111

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

SHA256:89fc2a340af4a80a558e5d561ceb2b7e858cd5a6bc4fd24a52a3cd30e3dc991a

Download builder.deb (7.32MB)

SHA256:d9387bb61ad1bac3b1c51d2e48df8592bc54cfb6943548a912266c39f48d9f7e

Download builder.pkg (6.29MB)

SHA256:cc9fa48fc5f21afe544176e39115e5e548be14b2d452c95ffac503574c3d9a94

Download builder.pkg (5.66MB)

SHA256:a99865c97d4e77a376fc9a992782b79d49868e0b020f33892add843f2129c659

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

SHA256:67a00d53403a4f23afb270cb98e6bda6d8fd0f9f4e90fe7ec0fc2718b8e26098

Download builder-web.deb (15.2MB)

SHA256:3113e60c7a49bd196b35ace0b0b632ddc7b4ee134263c8735198c36931c2c218

Download builder-web.pkg (12.7MB)

SHA256:4a450f3a58d890109504d7cd869df7af65eec5001884b5ecb533fd744dab8bf5

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

SHA256:64aaf5e13564fd5bd7d2350f9544e90e7ba93d514631a590ef1ac5a7c8cfee2d

Download opam-graph.deb (2.33MB)

SHA256:dcfaf0bce9ee84e666567b158c9c35ede76cafc54e6482542c2262e39e2a6b89

Download opam-graph.pkg (1.91MB)

SHA256:2072c680c377716624f48a896763c44e36da57ac07c62b794aaf4ec3ae64c8af

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:4af6d831dcbf9db4f6994fd02dfa9536311c3b49b455ee29faefa801a47c7f0a

Download orb.pkg (3.98MB)

SHA256:b4e834fa3687844a257e164499a4d453745544c2a42aaf8997d35c017ec19aed

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:8db19c7c26dd01e25aa12f7e2f86595d49ab11838da12d4b9dbc239444c62628

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:06a0bda33b122b408da2dea5f86c8f8f23349c23877502f388100cbb951ab2fa

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

SHA256:0e9c783ee6776d6662b707e395af3e05ef58cc37c9184dc9de01a5d87e00b80f

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

SHA256:e6d41dfcc81c5aa7b199e9299acc32823e8dc34464812d6e11361b22fefba461

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

SHA256:c9b6aa55e0657d9aac511665762b5bdd7e1e5c43014aee5e5154fcb652540ef4

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

SHA256:47fa2476b399ae935d96a27fb1bbe28f83d055dd1fffcccdc92d94a826cbed61

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

SHA256:26e77a9e1fd44d93851469eb2e19372b7b17ca319ef11bbb81935e74eb918ba4

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

SHA256:3fa0e4ed44de849a1111e90b02868f62f25ae406f832e97dd853202d003f5c45

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

SHA256:61b7b9adc46f3031d886c564946ae81b9aca85daeeb2cac2a56566b660ac107a

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

SHA256:070b9cff924a4ff37cdd896edd4d15be0419924a7596d5fb8c868d1f65b4b769

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

SHA256:f7c0a679abc20738f616d6c5f55c88b2f36792880180ea8670f451e77c7aaa55

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

SHA256:17e6f7a39a6f86be3d70feda924ba59385f1b5440fd8e88fb140182b24fb989c

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

SHA256:d7a03f17ce476682ac6a0b439a6901e9073ca58fdd0d353cca66389b70aabf89

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:8afa4e0b67bdac8398ea4276eb388b9525b556fe7bdbd788dac877319248d154

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

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:8180c4d54b08ae01a34c74709eb19ec1e1756b7812854afc2043a0e5d4de02db

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

SHA256:3d9b89a4c3e33f5bf8830d2859259ddcfb77fe9cc587a7719cc2c4a0c509f69c

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:971dcb0b814adf0f4c482de4415842ab8257e99dd961086675ca36647547d7c3

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

SHA256:cba43381fd0292bbe3d63a150d589279877539963f77d3f8e9bdf6243cdb8131

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

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

SHA256:c1989e0e5ee6fd0d9c4f2a924a28fa89c04f1e2da56a63a2c91b3077d10c6b23

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

SHA256:bb486d916155208649b528bc5b2a57e9aae224f96f9d0f9c9d08ef46ae7dd58e

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