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 2022-08-17 10:40:21Z albatross.debSHA256:37a723d609f4a102c15c79ab2d35a01beabe0e8bc0208291879fbc19fdeaf6a2
(48.8MB)
☑ ubuntu-18.04 2022-08-17 10:40:06Z albatross.debSHA256:f38ad2dbf1f7c760ec07b530909ed7ffc87c634208ee4dd7d4f0dbed2abbd077
(44.3MB)
☑ freebsd-12 2022-08-16 20:44:36Z albatross.pkgSHA256:8d01dbff94f0bf79cde4aa5b4d5f0d01b3b2155b64624a9874f552b13a6027bb
(40.1MB)
☑ ubuntu-20.04 2022-08-16 20:30:16Z albatross.debSHA256:ab605313b5c3c72dcdd90da424bea30a9ac9332d2a19b2b6109e67f00c90f2d8
(49.2MB)
☑ debian-11 2022-08-15 09:51:46Z albatross.debSHA256:83714fcd6b38bc24979ad26c747aa7e63cea86018e3a044760406d9efb51e62b
(48.3MB) - builder
Scheduling and executing shell jobs
☑ debian-11 2022-08-17 10:15:15Z builder.debSHA256:b2270e9e15946f5b71c6944d82e12fd205a4dddea4323eb5fd68c567ce0e52bc
(7.09MB)
☑ ubuntu-18.04 2022-08-17 10:14:52Z builder.debSHA256:0ba119a791be12b2b2c09c8562d8c9b73fbb8dabaaa341a59419ee4e6e8a8a2a
(6.8MB)
☑ debian-10 2022-08-17 10:14:49Z builder.debSHA256:f989f6332785392b5aca27b5248400d930364d2bece8f2459f28bd475e5b673a
(7.15MB)
☑ ubuntu-20.04 2022-08-16 19:42:03Z builder.debSHA256:0881efa7fe23ac18542ba680fb60dd701922361649d5100b28d9805ec3b87849
(7.23MB)
☑ freebsd-12 2022-08-16 19:14:04Z builder.pkgSHA256:e7ce25e21118f76606e9534d40c477ca937963a107013ee45baa9779b4ba9d4c
(5.68MB) - builder-web
Web interface for builder
☑ ubuntu-18.04 2022-08-17 09:51:25Z builder-web.debSHA256:5014decd136681440009a894adda99bd1b5ddfa0401f3976ccd797b83f051398
(12.1MB)
☑ debian-10 2022-08-17 09:51:15Z builder-web.debSHA256:c895bccdc071d2e5bf5939464bf4abadad93843dc5c752a4e9a9ae542f393a2a
(12.4MB)
☑ debian-11 2022-08-17 09:51:06Z builder-web.debSHA256:e97a84037b1b241305e75b439b7e9b4ca41e58f3bb8d1a703e6b3c9b52a95cc6
(12.2MB)
☑ ubuntu-20.04 2022-08-16 20:21:41Z builder-web.debSHA256:6a4a3ddb8bc2b6079c03122f144ecadae91f21ef627137ab4c33d734ded3d10c
(12.5MB)
☑ freebsd-12 2022-08-16 14:06:25Z builder-web.pkgSHA256:4d6e20de8d221c60cff4327b19b8edaf40f270dba72819ec481edf65ccf9e4d3
(10.6MB) - jackline
Jackline - a minimalistic secure XMPP client
☑ ubuntu-20.04 2022-08-16 19:58:17Z jackline.debSHA256:0ff13162b55c1008a55828ff6dde6f647f273239cf3e525b997c75c8d8eba327
(5.38MB)
☑ freebsd-12 2022-08-16 19:57:38Z jackline.pkgSHA256:6af4da397e7b729f6b002876465f9c31676ff6c1b7fb5209c06b2f81c5df4a21
(4.41MB) - orb
Check opam package reproducibility
☑ debian-11 2022-08-17 09:36:34Z orb.debSHA256:14979e61a35e2e157285b7b6afa24dd0b86b0e8bd5765db1eccd4b65ad100312
(4.16MB)
☑ debian-10 2022-08-17 09:36:34Z orb.debSHA256:ad3ce5192f7521a3f09f1ff76c7711741e0acab33ca991b6daaa1dddd42163f8
(4.13MB)
☑ ubuntu-18.04 2022-08-17 09:36:34Z orb.debSHA256:87c3480b91ebf30d9d1c2e407ab97b7bd816cccc92061136376acc44072277bf
(3.95MB)
☑ ubuntu-20.04 2022-08-16 19:50:31Z orb.debSHA256:ad16fba5093dc7aa8e97231e8387a78add37b11f1413a7664379ecd6d190f4f9
(4.19MB)
☑ freebsd-12 2022-08-16 13:51:13Z orb.pkgSHA256:45452aa2bfb34320c62a3dec82e8ed47763ebef0d845c742709925a7b6b22663
(3.5MB) - solo5-hvt
Solo5 sandboxed execution environment (hvt target)
☑ debian-11 2022-08-17 10:34:47Z solo5-hvt.debSHA256:8cf7dd1f95fb95dcc797e103005444e578275ee3cdce1af2623ca5d98da8aea2
(79kB)
☑ ubuntu-18.04 2022-08-17 10:34:38Z solo5-hvt.debSHA256:49c20c0449ae3e25fe0d6fb29af76a12a45c66c1b4ea68efaa6db51cf315ed5f
(71.3kB)
☑ debian-10 2022-08-17 10:34:36Z solo5-hvt.debSHA256:29878f0769dde834726fe01d0fb801659fbb77bcc9b6e434c6137c88508e5fa2
(75.6kB)
☑ freebsd-12 2022-08-16 20:10:11Z solo5-hvt.pkgSHA256:f6e90602cba33170bbaefac3cf33a368daa2bd9daedda52d833d4af0503e4b88
(60.7kB)
☑ ubuntu-20.04 2022-08-16 19:37:20Z solo5-hvt.debSHA256:bbbdfaf2a3518efdb1b70ca7328a96c1884a0af0803d4056581f1e5eb67c7ad6
(80.9kB)
Unikernels
- caldav
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
☑ freebsd-12 2022-08-16 19:14:49Z caldav.hvtSHA256:2b8a0d54f2c672384238f5278cf688f797c591fd52b96f0787a78ef9b814de67
(15.4MB) - 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 2022-08-16 19:00:19Z letsencrypt.hvtSHA256:1fdbcfa8e942d3cced3f29da333b087c61f71d73ffc3c2cf6eabee91c5ccea8a
(8.22MB) - dns-primary-git
A primary DNS server unikernel that stores zone files in a remote git repository
☑ freebsd-12 2022-08-16 15:07:15Z primary_git.hvtSHA256:0a343d3523770e117b88d6429d32a4043d423476c7f30f6cc126dcfd1b4c7493
(10.9MB) - dns-resolver
A recursive DNS resolver as a unikernel
☑ freebsd-12 2022-08-16 20:27:24Z resolver.hvtSHA256:c4aad2db17193d2d081bf874058db5aa38d282657d657b6880d4ebb5e6cc337b
(6.72MB) - dns-secondary
A DNS secondary unikernel
☑ freebsd-12 2022-08-17 01:10:27Z secondary.hvtSHA256:1c1f63e11fa12e30716fb0906a4a301a5943874a5103d22a7e54958ad7f6e26d
(3.58MB) - dns-stub
A DNS stub resolver
☑ freebsd-12 2022-08-16 13:57:22Z dns_stub.hvtSHA256:e22a45d06c76eb4094c94f2fe13ca1fa2f2f479b92b773046a549fbd05cb8237
(6.79MB) - dnsvizor
A DNS resolver and DHCP server
☑ freebsd-12 2022-08-16 21:28:43Z dnsvizor.hvtSHA256:a5d200340079cc3cf520bf1c72e9fe1c6df80db9ac9565f015d39ce3cb71f862
(7.26MB) - hello
The famous hello world unikernel
☑ freebsd-12 2022-08-15 23:28:50Z hello-key.hvtSHA256:7ed41cd54d51eb7189433293404a6d1a45a43d5db5502cd7e75e96651765aa5c
(1.89MB) - qubes-firewall
A QubesOS firewall as unikernel
☑ ubuntu-20.04 2022-08-16 20:09:07Z qubes_firewall.xenSHA256:317b2cd4d288a45fd04ef6b145ba18772a708e28c006d9c61461b085ef42f127
(4.41MB)
☑ freebsd-12 2022-08-16 15:08:15Z qubes_firewall.xenSHA256:cecf82c731815339088ea48022f7b3ba971e544b196d88831bc26d08c44965f8
(4.53MB)
☑ debian-11 2021-11-08 11:45:36Z qubes_firewall.xenSHA256:d1e8ff8aaf4e3705bf94523808c24cd709273270f1a3232f70a871ec07fa1995
(4.23MB) - 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-16 20:41:55Z relay.hvtSHA256:9694019271dd6063e40a15ee095a1d0a056dce6c00902c8690152bd0a686dc97
(11.5MB) - smtp-signer
DKIM Signer unikernel
☑ freebsd-12 2022-08-16 20:27:27Z signer.hvtSHA256:302afa98e3974f0ead04914632a757370e1b7bcac90b0d8ad10d6062e19eb27e
(8.19MB) - smtp-spamfilter
A spamfilter unikernel
☑ freebsd-12 2022-08-16 19:40:24Z spamfilter.hvtSHA256:3b5dd9a9de332c9c30e564b943b8c1a9f06aec7fb679b9383484cabb919b98b3
(8.77MB) - smtp-submission
SMTP submission unikernel
☑ freebsd-12 2022-08-16 21:10:25Z submission.hvtSHA256:6eb1b403caed4f0c8c2bd6826147008dde5cae9e395f50e1a8532cc0ac3e1afc
(11.6MB) - smtp-verifier
SMTP receiver unikernel
☑ freebsd-12 2022-08-16 21:11:34Z verifier.hvtSHA256:60b35d0c7264fa790ef2f31433efd3a32c791a6641fa20fb2ce4c9f2f486654d
(8.12MB) - static-website
A static website example unikernel
☑ freebsd-12 2022-08-16 13:00:12Z https.hvtSHA256:98e250afd9fa18cd2d47d364c30a35a7ad7c8b55baa1f809e8720825c632bb3e
(6.94MB) - tlstunnel
A TLS reverse proxy unikernel
☑ freebsd-12 2022-08-16 14:47:14Z tlstunnel.hvtSHA256:13b425203acbff793a29ec9bc6f2f898238e04d52459727ff036fdf55f020d80
(6.36MB) - traceroute
A unikernel executing a traceroute
☑ freebsd-12 2022-08-16 20:58:25Z traceroute.hvtSHA256:c4726264adcdd71625b49eddef6bd44ed272fdf8e8f94c409d24cc349b8a2e23
(2.47MB) - unipi
A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
☑ freebsd-12 2022-08-16 19:28:01Z unipi.hvtSHA256:3594392684fd3adc3a55136997908e744aa2ae4c0c4b68f65d50de814d162e22
(11.7MB) - 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 2022-08-16 19:58:36Z unipi.hvtSHA256:1403763fa89b285e93a57e825f5ca12728a2013337cc5a8c922dc6551dafbea5
(11.7MB)
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 2022-08-16 19:24:05Z caldav.hvtSHA256:72f23f7bbfef98c741d0666e7e34f6450f9e31d54b582ecd4f028524e5a07245
(15.7MB) - caldav-monitoring
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
☑ freebsd-12 2022-08-16 19:39:28Z caldav.hvtSHA256:277f3446dc9e598d59d5d24e718387dd143e86925c27a9f7100ece6bd62e7aca
(15.6MB) - 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 2022-08-16 20:12:45Z letsencrypt.hvtSHA256:f882230d42499be7241c2698ca68d49981f15eb688a1eeda8802b9d7da0167ab
(8.43MB) - 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 2022-08-16 15:19:24Z primary_git.hvtSHA256:787e172c7f2f6dbd411f491d44c20349a5c3dba54079848a8276aa18ba2f7d60
(11.1MB) - dns-resolver-monitoring
A recursive DNS resolver as a unikernel (with monitoring to influx)
☑ freebsd-12 2022-08-16 20:58:14Z resolver.hvtSHA256:a0d0f5c116d6cb822fa60eba1ceb3efca81a405dbc30a9cde35246a26c0553a9
(6.98MB) - dns-secondary-monitoring
A DNS secondary unikernel which reports metrics to influx
☑ freebsd-12 2022-08-17 01:10:27Z secondary.hvtSHA256:dff7885003854595da635840fa4b85c02a76bfbe65b6e29f71084bc2c2f1b955
(3.77MB) - 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-08-16 19:00:19Z canopy.hvtSHA256:3a006f1a62750d068f7bbafbc6a796be36a358b38a77416dc69e6fcbe8081c5a
(12.5MB) - nqsbio
The unikernel used for https://nqsb.io and subdomains, reports metrics to influx
☑ freebsd-12 2022-08-17 01:20:14Z nqsbio.hvtSHA256:c94d4245215ef068b78591e7602eaf3aa129ec1cadb9d5c07dfeae640e4d0b6a
(4.18MB) - openvpn-router
An OpenVPN router unikernel, the configuration is stored on a block device, reports metrics to influx
☑ freebsd-12 2022-08-16 13:55:13Z ovpn_router.hvtSHA256:a5bcab0b74ea8d178d030fb6e067f05e0b90a4dac9ec430a31d51ea81245aa5b
(7.31MB) - retreat
The unikernel serving http://retreat.mirage.io with metrics reported to influx
☑ freebsd-12 2022-08-16 21:58:22Z retreat.hvtSHA256:09031d7c87f785bed65a24abdf5c9cabc20009fc7d05b4f50d7e8efd6879b9df
(4.1MB) - roburio
The unikernel used for the website https://robur.coop, content stored in a remote git repository, reports metrics to influx
☑ freebsd-12 2022-08-16 21:28:43Z canopy.hvtSHA256:0aebc136b78c543490a404450a4b838a56b7fb98901feec2eb5b000ac816690b
(12.5MB) - tlstunnel-monitoring
A TLS reverse proxy unikernel, reports metrics to influx
☑ freebsd-12 2022-08-16 20:13:10Z tlstunnel.hvtSHA256:ebefb40ecbcdea17d2d2e29f1b2739c969b9b2c823084ef4a58669ad53746061
(6.62MB)
View the latest failed builds here.