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. The filename suffix of the unikernel binary indicate the expected execution environment:
.hvt
: hardware virtualized - requiressolo5-hvt
(Linux KVM, FreeBSD BHyve, OpenBSD VMM),.spt
: sandboxed process - requiressolo5-spt
(Linux with seccomp),.xen
: Xen PVH virtual machine (on a Xen or QubesOS host),.virtio
: any virtio environment (qemu, GCE, KVM, BHyve),.muen
: on muen.
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 ATrobur.coop if you
have questions or suggestions.
Packages
- albatross
Albatross - orchestrate and manage MirageOS unikernels with Solo5
☑ debian-10 2023-09-30 12:41:39Z albatross.debSHA256:e7fcc08e262d5690c786541fc8aa0246a1704c954e257df01068176692fc6c2d
(16.9MB)
☑ debian-11 2023-09-30 12:41:39Z albatross.debSHA256:86d4950bbbf7bc409800dc8bf9a0dd80824998a6a084cd6ae9f24709ad780843
(16.7MB)
☑ freebsd-12 2023-10-01 14:47:20Z albatross.pkgSHA256:be5cd5418c7976d0008d0fdb0c941203c4b6724fcc60d99af6fb1773f6ec22b4
(12.5MB)
☑ ubuntu-18.04 2023-09-26 12:41:35Z albatross.debSHA256:e7a76dbb81030aba65ffd69d03ae2ee6f08430e5a680348c63360d57d049d65f
(15.9MB)
☑ ubuntu-20.04 2023-09-29 11:15:31Z albatross.debSHA256:90e3a7920116dbd08914cd91841d66b576723bf97cf2a0981a6c2672698316a3
(17.1MB) - builder
Scheduling and executing shell jobs
☑ debian-10 2023-09-30 21:20:39Z builder.debSHA256:93c799383d371e19ba82927ffb664cf6ac05376c6deeb34629c0471f6758cfda
(7.79MB)
☑ debian-11 2023-09-30 21:20:39Z builder.debSHA256:7b267547210242b152d5f5069289f3d17ff6abd8d84c59edbbc961d14e080832
(7.73MB)
☑ freebsd-12 2023-10-01 16:30:20Z builder.pkgSHA256:29b3a2d8c556b7e6abeee33416f9d6b28e3598ef6bfa47db96378e5abc746b8b
(6.15MB)
☑ ubuntu-18.04 2023-09-26 21:42:33Z builder.debSHA256:d7672c3c122581ded15c7903dd067b50cc967da58b3ef5a8c691375b84546d38
(7.3MB)
☑ ubuntu-20.04 2023-09-29 11:03:03Z builder.debSHA256:4a1e07dfe41df1e149e7ac57eae7f1d5afadaea7fc96b2f28496f29f0b075dda
(7.89MB) - builder-web
Web interface for builder
☑ debian-10 2023-10-01 14:40:40Z builder-web.debSHA256:3b231a2d3cae5d2b15bf97396389039fffdd3cb35ee36e40cf05129c7f17bc1b
(12.8MB)
☑ debian-11 2023-10-01 14:40:40Z builder-web.debSHA256:1f027293e922fe3a17df873425f0e1c2bdd9b5cb69a0d42999a477b20d5e42a3
(12.6MB)
☑ freebsd-12 2023-10-01 16:41:08Z builder-web.pkgSHA256:3311555630a57542ea159e28a619d8d844cf422f2a219977132d21a40bb9236d
(10.9MB)
☑ ubuntu-18.04 2023-09-26 14:40:35Z builder-web.debSHA256:25010c1e21293576e1332099c36bf16ef8da6ed47d4e8af9c2f16af616ef2282
(12.4MB)
☑ ubuntu-20.04 2023-09-28 11:15:16Z builder-web.debSHA256:b96823a4a3406390b33f1a3d87e0886b85add2ffd0ebc2a587d6fd3d0b38a3bf
(12.9MB) - jackline
Jackline - a minimalistic secure XMPP client
☑ freebsd-12 2023-10-01 15:13:35Z jackline.pkgSHA256:ca9e01be7b8150b8de07ede75681b1c0978f6890ebaec87f04d4fd2408bb8fb4
(3.89MB)
☑ ubuntu-20.04 2023-09-29 11:22:00Z jackline.debSHA256:94278bbd5a5183bb98688d4c1355e2a576ebaebe4eaafb53f5802b076e69eb25
(4.72MB) - modulectomy
Dissect OCaml compiled programs, and weight their content
☑ debian-10 2023-09-30 21:37:22Z modulectomy.debSHA256:b7a6d1239049a9e1dc6c936f3b8948a29fc1d0c26b903961fe9baa8ef9e787e6
(1.61MB)
☑ debian-11 2023-09-30 21:37:18Z modulectomy.debSHA256:bdd5db7a396ec8526c3e5983163e931037de7c6c764a157c94df36fd85db61d5
(1.6MB)
☑ freebsd-12 2023-10-01 17:12:30Z modulectomy.pkgSHA256:7078571cf28a8f07d30a4c9682585cd89d14b83bca343128f28bfa60d6ea3468
(1.39MB)
☑ ubuntu-18.04 2023-09-26 21:22:03Z modulectomy.debSHA256:901b34c26794564632fd6c6b91ed01cccf7afff2c586e9f0ccd5647b5d981bd4
(1.56MB) - opam-graph
Graphing dependencies of opam packages
☑ debian-10 2023-09-30 21:32:28Z opam-graph.debSHA256:006200a310975126b24e924ab26eab4d5623242f786a342fea1d79189914c7d5
(2.3MB)
☑ debian-11 2023-09-30 21:32:25Z opam-graph.debSHA256:3e0bff05d41ac49ed7e18fda5274336fb5b9b3531f8af028ff5177c2bcdbd7ad
(2.29MB)
☑ freebsd-12 2023-10-01 14:47:20Z opam-graph.pkgSHA256:2f6424cbc4817f8c3ca45a63f36244333d250162c193d40540053b602c91dfaf
(1.94MB)
☑ ubuntu-18.04 2023-09-26 21:35:51Z opam-graph.debSHA256:04be89168f22aea5f5ca5b049a4880db412b58293676cab0d9e2a77851259002
(2.25MB) - orb
Check opam package reproducibility
☑ debian-10 2023-09-30 21:27:26Z orb.debSHA256:954f2d40dfbb1b8a25e1437f1019705f18dedefa730841812b503ac2e5c8de6f
(4.12MB)
☑ debian-11 2023-09-30 21:27:26Z orb.debSHA256:6b465025d245d3325e0dd4a439efcf5ad0b2608fd4db86df49fdb38a7d2940de
(4.14MB)
☑ freebsd-12 2023-09-30 17:59:13Z orb.pkgSHA256:cc736f75936d483300069f9acaa4a45e5ef5cb0351b3f2355eb1ef4c7f666a9a
(3.5MB)
☑ ubuntu-18.04 2023-09-26 21:28:54Z orb.debSHA256:bab273645ed8ffd0aac6a3e0715b6aa8935620a4ef565656bca0ea5a6ecbb832
(3.94MB)
☑ ubuntu-20.04 2023-09-29 11:09:33Z orb.debSHA256:f9395ec6fda2c8bd78aeb57a6cc07d59428d3e7119230a7e49860f3674429994
(4.18MB) - solo5
Solo5 sandboxed execution environment
☑ debian-10 2023-09-30 21:26:17Z solo5.debSHA256:ffb7bb9b0c7b8e2aa2c7bf9e7f94694d0b6cf4d466d66762f863140346bf98fe
(95.7kB)
☑ debian-11 2023-09-30 21:26:13Z solo5.debSHA256:67d2768befd0946495225b0d8b0e27518281da3db5e109fdaf33b055895a3fc9
(99kB)
☑ freebsd-12 2023-10-01 17:13:32Z solo5.pkgSHA256:1261f0f2595e66f743365f8cce010f686cf8b6ec11040b7134ff6ef2851b5f4a
(61.6kB)
☑ ubuntu-18.04 2023-09-26 21:20:35Z solo5.debSHA256:d200da4210fde1333c0cd6218e59d451b627aca8fdfd123a4fee22347a6e56a9
(91.7kB)
☑ ubuntu-20.04 2023-09-29 11:29:54Z solo5.debSHA256:7db3cfd9d3898b5ed7b2396aea847c62f11cfd9e673e56c0e88ae9e44cf89940
(104kB) - solo5-hvt
Solo5 sandboxed execution environment (hvt target)
☑ debian-10 2022-11-15 10:17:28Z solo5-hvt.debSHA256:29878f0769dde834726fe01d0fb801659fbb77bcc9b6e434c6137c88508e5fa2
(75.6kB)
☑ debian-11 2022-11-15 10:17:22Z solo5-hvt.debSHA256:8cf7dd1f95fb95dcc797e103005444e578275ee3cdce1af2623ca5d98da8aea2
(79kB)
☑ freebsd-12 2022-11-14 22:10:54Z solo5-hvt.pkgSHA256:f6e90602cba33170bbaefac3cf33a368daa2bd9daedda52d833d4af0503e4b88
(60.7kB)
☑ ubuntu-18.04 2022-11-15 10:17:46Z solo5-hvt.debSHA256:49c20c0449ae3e25fe0d6fb29af76a12a45c66c1b4ea68efaa6db51cf315ed5f
(71.3kB)
☑ ubuntu-20.04 2022-11-14 19:57:42Z solo5-hvt.debSHA256:bbbdfaf2a3518efdb1b70ca7328a96c1884a0af0803d4056581f1e5eb67c7ad6
(80.9kB)
Unikernels
- caldav
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
☑ freebsd-12 2023-10-01 16:20:05Z caldav.hvtSHA256:31fa1c719f3ab5d7c89711a79acbe57f1685c2dc7dc2eae254f59173e7f6e209
(13.7MB) - 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)
☑ freebsd-12 2023-10-01 17:46:43Z letsencrypt.hvtSHA256:fd09f27f26a841e36d05cc6bfd921087d4cfc8c3651d60f7c780eddbe6d6d380
(7.68MB) - dns-primary-git
A primary DNS server unikernel that stores zone files in a remote git repository
☑ freebsd-12 2023-10-01 15:47:02Z primary-git.hvtSHA256:205209cda5b33704d6b4838ce1b44a9c0eacc18bf39183bf739caf49d82c78c7
(8.63MB) - dns-resolver
A recursive DNS resolver as a unikernel
☑ freebsd-12 2023-03-02 22:19:44Z resolver.hvtSHA256:380a80c637760011a596f5203664032255de25f84614937619b2258f0999bc31
(6.01MB) - dns-secondary
A DNS secondary unikernel
☑ freebsd-12 2023-10-01 15:15:19Z secondary.hvtSHA256:9e4ea75ff034258551639543535d0f36b0b978b8d2c9272d4cc3470979232c63
(3.42MB) - dns-stub
A DNS stub resolver
☑ freebsd-12 2023-10-01 17:20:54Z dns-stub.hvtSHA256:f11a72e28bb273911979bb6c894524dfad84cdb0bca4745365799cbac39b3c83
(5.91MB) - dnsvizor
A DNS resolver and DHCP server
☑ freebsd-12 2023-10-01 16:12:59Z dnsvizor.hvtSHA256:03167efba64b677c7ff74c3c81f7b992a0976d63d294c9dd53d5bf341d54c2e0
(6.81MB) - hello
The famous hello world unikernel
☑ freebsd-12 2023-09-30 18:05:03Z hello-key.hvtSHA256:6dc3763247cbadffd570af0a1173d0b83844e93c207a3a8e52939e0886c799f9
(1.77MB) - opam-mirror
An unikernel implementing an opam-repository and archive mirror
☑ freebsd-12 2023-10-01 17:37:08Z mirror.hvtSHA256:fac051e0ced4a6c360a3dbd81464af38537a1a86acee1d1debf4b66d7d9c2664
(8.82MB) - qubes-firewall
A QubesOS firewall as unikernel
☑ debian-11 2021-11-08 11:45:36Z qubes_firewall.xenSHA256:d1e8ff8aaf4e3705bf94523808c24cd709273270f1a3232f70a871ec07fa1995
(4.23MB)
☑ freebsd-12 2022-11-12 23:12:28Z qubes-firewall.xenSHA256:d566e5fbbf040fd02390330f4794746b62ca1991341578f00e7c536b097e4c94
(4.6MB)
☑ ubuntu-20.04 2023-09-29 10:54:37Z qubes-firewall.xenSHA256:8e1d32819d333ed1f36d989ee45da12092a6605079a91d5d3800faa931891819
(4.4MB) - qubes-firewall-flambda
A QubesOS firewall as unikernel using the OCaml flambda middle-end
☑ freebsd-12 2021-11-10 22:44:28Z qubes_firewall.xenSHA256:7ba67cdf7f3977616324a4946795226db4ad4c7b79b9bbcc210383ce1bbbc3d1
(4.5MB) - smtp-relay
SMTP relay unikernel
☑ freebsd-12 2022-08-31 15:47:28Z relay.hvtSHA256:d79091800b8fbc533dff93467bf60ca08136425622073a90880c6eb83edc92e1
(11.5MB) - smtp-signer
DKIM Signer unikernel
☑ freebsd-12 2022-08-31 14:21:59Z signer.hvtSHA256:302afa98e3974f0ead04914632a757370e1b7bcac90b0d8ad10d6062e19eb27e
(8.19MB) - smtp-spamfilter
A spamfilter unikernel
☑ freebsd-12 2022-08-31 17:31:10Z spamfilter.hvtSHA256:3b5dd9a9de332c9c30e564b943b8c1a9f06aec7fb679b9383484cabb919b98b3
(8.77MB) - smtp-submission
SMTP submission unikernel
☑ freebsd-12 2022-08-31 17:34:15Z submission.hvtSHA256:e97f047b55e234b9fc851fb41c9f145db3155d2e18a150767d9341d69878d123
(11.6MB) - smtp-verifier
SMTP receiver unikernel
☑ freebsd-12 2022-08-31 14:34:25Z verifier.hvtSHA256:60b35d0c7264fa790ef2f31433efd3a32c791a6641fa20fb2ce4c9f2f486654d
(8.12MB) - static-website
A static website example unikernel
☑ freebsd-12 2023-10-01 14:55:49Z https.hvtSHA256:d9e9251e300ef3668f92c7832c1abf290e144a1eb38844902502bf979bd2d4e4
(6.91MB) - tlstunnel
A TLS reverse proxy unikernel
☑ freebsd-12 2023-10-01 15:26:48Z tlstunnel.hvtSHA256:8f0ad4385742c052c461eb50f7374738ea466f5ab2d1d07ec7c0afeb59b4955c
(5.49MB) - traceroute
A unikernel executing a traceroute
☑ freebsd-12 2023-09-30 17:51:33Z traceroute.hvtSHA256:95cc49bad13f623c2666918c33f33a4d9b2e05db39e73254086c19c4b3a6d467
(2.38MB) - unipi
A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
☑ freebsd-12 2023-10-01 15:30:03Z unipi.hvtSHA256:c97321c2f6804567a6d09509b63869528ffee8f08691fb69815ad3401c582aba
(9.6MB) - unipi-with-kv
A web server unikernel which content is stored in a remote git repository, TLS certificate in a key-value store (at compile time)
☑ freebsd-12 2023-09-30 17:26:36Z unipi.hvtSHA256:d34900e377adc564acbcac448bd0f40077adafed670c9b7136c9a7ff0d09b1ea
(11.9MB)
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
☑ freebsd-12 2023-10-01 16:54:27Z caldav.hvtSHA256:05c1c0ea79ae341ac32b77c0bf2c43beb843540108cf758920a5d9ca9e340a45
(13.9MB) - caldav-monitoring
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
☑ freebsd-12 2023-09-30 17:32:05Z caldav.hvtSHA256:87eadd4740687c27c07105a09eb73a814097a326d187c150a35cbd0a8cd03b8d
(13.8MB) - 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
☑ freebsd-12 2023-10-01 16:03:36Z letsencrypt.hvtSHA256:9767bc672c5d8aa9bd9a2bd0f7f3fc63701288fe15bb3bd5c6b1f0c07df52a38
(7.93MB) - dns-primary-git-monitoring
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
☑ freebsd-12 2023-09-30 17:41:13Z primary-git.hvtSHA256:218f8da56dfabe4b04fefe4e61bb3665b908c5074a6812018dc72d9d673e2048
(8.81MB) - dns-resolver-monitoring
A recursive DNS resolver as a unikernel (with monitoring to influx)
☑ freebsd-12 2023-03-02 00:00:01Z resolver.hvtSHA256:d7c0c4ca418870c3e87d5dc4086197ef7e285bce51369ed9511eaa2e962c935e
(6.82MB) - dns-secondary-monitoring
A DNS secondary unikernel which reports metrics to influx
☑ freebsd-12 2023-10-01 15:58:42Z secondary.hvtSHA256:75e0d77fc8a666c793ebcf8e4f257aba162328b9117723b48e9a0d7682306b4a
(3.66MB) - hannes-nqsb-io
The unikernel used for the blog https://hannes.robur.coop, content stored in a remote git repository, reports metrics to influx
☑ freebsd-12 2022-11-06 22:52:27Z canopy.hvtSHA256:da6bdd4edcadee61a70dd1f2a6dc964a4ee0a0ae0ae623496932dac01599fb1f
(12.6MB) - miragevpn-router
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
☑ freebsd-12 2023-10-01 17:30:12Z ovpn-router.hvtSHA256:377140ba1609648b013aa63527e1d9e0c7b08dd79f8cee7f96360d7c50587ece
(6.46MB) - nqsbio
The unikernel used for https://nqsb.io and subdomains, reports metrics to influx
☑ freebsd-12 2023-10-01 16:38:50Z nqsbio.hvtSHA256:7433ecddbb745a6abd09b2977405e79fac0a3d541e9286bfd50f7f84d127d1e7
(4.12MB) - redirect-monitoring
Redirect HTTP requests
☑ freebsd-12 2023-10-01 15:42:47Z redirect.hvtSHA256:ea6dabda6dd0ab32188f251b5d741a9a7033fff409939d423e492a4f0be9075c
(5.63MB) - retreat
The unikernel serving http://retreat.mirage.io with metrics reported to influx
☑ freebsd-12 2023-10-01 16:54:21Z retreat.hvtSHA256:1b6e9ec82f007de7de821f4b1793721b0437cb87af7ced0f48266dbf7a4da959
(6.16MB) - roburio
The unikernel used for the website https://robur.coop, content stored in a remote git repository, reports metrics to influx
☑ freebsd-12 2022-11-06 21:31:13Z canopy.hvtSHA256:f78e95c277d6bfff72530645ff4d45f6a800f4fded8728af8877d79389e7d6c4
(12.6MB) - tlstunnel-monitoring
A TLS reverse proxy unikernel, reports metrics to influx
☑ freebsd-12 2023-10-01 17:15:31Z tlstunnel.hvtSHA256:4081a12d677d961ac3f81164f3559c53e619327c6c2940f25389f3768d7cdf97
(5.73MB) - 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
☑ freebsd-12 2023-10-01 14:58:22Z unipi.hvtSHA256:8fd67cf24f1dff8bb4d8752722cc1d85f34a87a2d1ec6fce43170f3006816e2f
(9.78MB)
View the latest failed builds here.