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-11 2025-06-06 09:33:49Z albatross.debSHA256:fb1db925d87d0951cb2b0a0c50e1414184c724fdd54d9c4144eda2c4ca1bd891
(17.3MB)
☑ debian-12 2025-06-06 09:33:20Z albatross.debSHA256:0e5aabe227b69832de777b39a3ec8dd52d83cf90f6d8fce58cda07a2c724ca48
(17.7MB)
☑ freebsd-13 2025-06-06 23:38:46Z albatross.pkgSHA256:f53f47170d8db93ef070d5a76bc84ac21eab65af2990334161fd1a5943af0513
(13.5MB)
☑ freebsd-14 2025-06-07 02:40:14Z albatross.pkgSHA256:d42af69869ec3ee42dcf1bcfc8bc4c5ae1e7599c399a01be5835d7cc7f911524
(12.1MB) - builder
Scheduling and executing shell jobs
☑ debian-11 2025-06-06 09:01:29Z builder.debSHA256:c8472048bb0072fdb7d578e131ee276449354aadd1207802b01500c1354fe371
(7.16MB)
☑ debian-12 2025-06-06 09:01:29Z builder.debSHA256:9fb3bc3ba021cd33ed294d7747ccd3d28255d024e26b2a9ffb9d01b8007b5e16
(7.32MB)
☑ freebsd-13 2025-06-06 20:20:13Z builder.pkgSHA256:f251345ef94ffc34694dbc6f1dab3a0fbb3c24393fcd6dc664046f7c5879e120
(6.27MB)
☑ freebsd-14 2025-06-07 02:20:13Z builder.pkgSHA256:d37ffbba6bc478c62797b37bf4e3157664b20e030a206f0623d636d68c7cbe00
(5.03MB) - builder-web
Web interface for builder
☑ debian-11 2025-06-06 09:20:00Z builder-web.debSHA256:b3b52b868334c81d6b12bb0b52268ab98fe937c734ac7f61b34179f9939b35d0
(14.4MB)
☑ debian-12 2025-06-06 09:19:41Z builder-web.debSHA256:dbcb018727e927b5f0561d2dcb43d2869493f7884ddc38e653c0bd9ff497c973
(15MB)
☑ freebsd-14 2025-06-07 03:31:15Z builder-web.pkgSHA256:e4a3cd2b23b63fee2b63e1274236adeaafa565c8b32ea811c9e5ab2ffeb9f00e
(12.6MB) - modulectomy
Dissect OCaml compiled programs, and weight their content
☑ debian-11 2025-06-06 09:14:13Z modulectomy.debSHA256:4a9f1a89a65025c2b135aca8981f28b4aab2b065b607f7b55f4359eec7f984c4
(1.43MB)
☑ debian-12 2025-06-06 09:14:00Z modulectomy.debSHA256:02cabc00c850d293da2770e59dff121f6e7e543c98d00ccbc8a0c32341ad27aa
(1.5MB)
☑ freebsd-14 2025-06-07 03:00:14Z modulectomy.pkgSHA256:03db07118cbc991032cc760987b87f9f947bb8a86a154150db20183d0c62ba74
(1.25MB) - opam-graph
Graphing dependencies of opam packages
☑ debian-11 2025-06-06 09:28:09Z opam-graph.debSHA256:814a472be6e82c83f1e494bd8a43c6c2b913c828f4d155e9fe16a08ee9898b44
(2.21MB)
☑ debian-12 2025-06-06 09:27:44Z opam-graph.debSHA256:69d1da45808b86bb5fd3053ff9b87e105c587f01bae207c98ceff8609e91c91a
(2.28MB)
☑ freebsd-14 2025-06-07 02:01:12Z opam-graph.pkgSHA256:5299464a01c0c27d0a95b6281fa18c04462f7c6d7e26ec7dea4d76819143c3b8
(1.86MB) - orb
Check opam package reproducibility
☑ debian-11 2025-06-06 09:07:56Z orb.debSHA256:acf98676218ad7cf062d5c5463171f02cddf1fe51c0d53365cc583e026ab099f
(4.59MB)
☑ debian-12 2025-06-06 09:07:45Z orb.debSHA256:13dc02c57fb92ebfda97684abacf380eb5bc7dfaecb3420babe0210e5e093dff
(4.71MB)
☑ freebsd-13 2025-06-06 23:33:21Z orb.pkgSHA256:a713b5cd8f15197f9997cc1004929f2401d0101b14e184db9e22c1d1edbec576
(4.47MB)
☑ freebsd-14 2025-06-07 03:10:14Z orb.pkgSHA256:00b226adc933e084e70af0eab35dcc77aec5ca1a6497ead3699d4cb2b51e7ad2
(3.93MB) - solo5
Solo5 sandboxed execution environment
☑ debian-11 2025-06-06 09:40:11Z solo5.debSHA256:b92e0c7e3008e0ec302e2c0c32b22def9756deb5a2f7858d6171841655e97f54
(99.2kB)
☑ debian-12 2025-06-06 09:39:36Z solo5.debSHA256:4ab500ec22fbaabf37764f5c306b98cef7e64ebab2fad4b55ec9463fa6886657
(101kB)
☑ freebsd-13 2025-06-06 23:44:37Z solo5.pkgSHA256:46ae15db17abf39db6a62ef90b5ab4a8370481d6de43e59c7269c1ff170d867f
(78.1kB)
☑ freebsd-14 2025-06-07 03:20:15Z solo5.pkgSHA256:ae17905eea1134cd598fc5e9745c1ad42a8072a3fec681218087b0559b281842
(67.7kB)
Unikernels
- caldav
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
☑ freebsd-14 2025-06-07 05:15:18Z caldav.hvtSHA256:5a36874b7bf7189135e6548e64f37905ce7dbee52991bc6bca4537abe89f77d4
(13.9MB) - 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-14 2025-06-07 04:45:17Z letsencrypt.hvtSHA256:3b908f9417fd504df78dda86f784c0cbbb92ddb08c0052f6170650faddfe817a
(7.85MB) - dns-primary-git
A primary DNS server unikernel that stores zone files in a remote git repository
☑ freebsd-14 2025-06-07 04:25:17Z primary-git.hvtSHA256:a81de5fa8a56358b7df43b40fedf12a85774c81342e803a351c8556984eb178b
(9.04MB) - dns-secondary
A secondary DNS server as unikernel
☑ freebsd-14 2025-06-07 04:05:16Z secondary.hvtSHA256:8f10a0110bc43407258ea198663a1f62579d234be3670a80730c882c8c1c6e15
(3.5MB) - dns-stub
A DNS stub resolver
☑ freebsd-14 2025-06-07 01:41:12Z dns-stub.hvtSHA256:9faa6fea2575f94492320d132b203a1155096943c4302c52c46d16914efe48b6
(6.43MB) - dnsvizor
A DNS resolver and DHCP server MirageOS unikernel
☑ freebsd-14 2025-06-07 01:31:11Z dnsvizor.hvtSHA256:93627c0116fc5017e73b43c85d638560a8ad85c1b8217533de29eca80203e369
(7.81MB) - hello
The famous hello world unikernel
☑ freebsd-14 2025-06-07 02:11:13Z hello-key.hvtSHA256:4e7741ce6063d3e1d77323fe56373722eda13f33183d861e70dc3e5bba135a24
(1.94MB) - miragevpn-qubes
An OpenVPN-compatible unikernel for QubesOS
☑ debian-11 2024-09-27 10:19:42Z qubes-miragevpn.xenSHA256:32db90c7b3486a7998cb91966351a0c14fd467600f93a04eab6bcc6f85284226
(7.85MB)
☑ debian-12 2024-09-27 10:19:42Z qubes-miragevpn.xenSHA256:344c982f2309d5c7570fe9b75986ab113ec27026cdf82aa4b91f9f4d6aac0cab
(7.84MB)
☑ freebsd-14 2024-09-27 10:10:28Z qubes-miragevpn.xenSHA256:1b21289b1532451f6bc9d07266a9fc7f736386a7837602661a2bf6055889dfef
(7.85MB) - miragevpn-server
An OpenVPN-compatible server unikernel.
☑ freebsd-14 2025-06-07 02:30:13Z ovpn-server.hvtSHA256:8ef4d316ab927a8ee5946da962e99e27bb04125fe5a1eb66c1a8ac2b559c4c81
(6.93MB) - mollymawk
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
☑ freebsd-14 2025-06-07 03:41:16Z mollymawk.hvtSHA256:737efc48787d7b6880c7fa22bf946944bb5a862865d6e3c61a6d57646d387322
(10.5MB) - opam-mirror
An unikernel implementing an opam-repository and archive mirror
☑ freebsd-14 2025-06-07 05:45:19Z mirror.hvtSHA256:a78d21a2deb71bd97a31ac4a2418c52abc1a58220aaa8d8eb8f146a9ef9c4d39
(9.69MB) - static-website
A static website example unikernel
☑ freebsd-14 2025-06-07 06:25:20Z https.hvtSHA256:dda0be3b30094c9c9803e068154a438793319ccd8104b729f5cbce5f059549c2
(7.03MB) - tlstunnel
A TLS reverse proxy unikernel
☑ freebsd-14 2025-06-07 05:55:19Z tlstunnel.hvtSHA256:02d53cfbd3558343fb1a1fc06628a641a5df9cb30536e83ac5730201b4a9e894
(5.97MB) - traceroute
A unikernel executing a traceroute
☑ freebsd-14 2025-06-07 06:15:19Z traceroute.hvtSHA256:8ac8ed2822af88c493cf29163ee33a5b81c6789df9a33419a0c504e741041402
(2.46MB) - unipi
A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
☑ freebsd-14 2025-06-07 03:48:22Z unipi.hvtSHA256:bef83a09f4296df9f03b410e8391ca15044e1d22c3a558e7f016f25be74d5c5c
(9.64MB)
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-14 2025-06-07 05:35:18Z caldav.hvtSHA256:02bc565aaf4eaf621e7d25e0748ecc60e74475526f6a1191c3d6ad3cd9b475b4
(14.2MB) - caldav-monitoring
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
☑ freebsd-14 2025-06-07 05:25:18Z caldav.hvtSHA256:3c2352b2c905054cd745aa52bf06b258f009238eaf0c4e704cb83a2dd6a09671
(14.1MB) - 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-14 2025-06-07 04:55:17Z letsencrypt.hvtSHA256:6229a7a769ee290b10abb563898b0d3bb46031f447e69edb1448f5185b990ce3
(8.08MB) - dns-primary-git-monitoring
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
☑ freebsd-14 2025-06-07 04:35:17Z primary-git.hvtSHA256:33537dd36a75b7ce744a7ca9c7ce1c88532b4df3e6daf07986e3cf257d214482
(9.21MB) - dns-secondary-monitoring
A secondary DNS server as unikernel which reports metrics to influx
☑ freebsd-14 2025-06-07 04:15:16Z secondary.hvtSHA256:d0c69fa3444888b3387cb8723bcb142c213f93e50a0e5829a1fc88f5b5a9cdfe
(3.8MB) - miragevpn-router
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
☑ freebsd-14 2025-06-07 02:50:14Z ovpn-router.hvtSHA256:250e4d4cc78629fa230b71ccb47264470fd74b8f8a88ac05c12c01563d55f832
(7.18MB) - retreat
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
☑ freebsd-14 2025-06-07 05:05:17Z retreat.hvtSHA256:75bb9bc818c16a490946e693e018dcdf6fd93c7aa628638c01e2da2ccda77da3
(6.9MB) - tlstunnel-monitoring
A TLS reverse proxy unikernel, reports metrics to influx
☑ freebsd-14 2025-06-07 06:05:19Z tlstunnel.hvtSHA256:3eec88ab9b58bcc2cbc412049fd7274f419ff30e0b850775248d676de30fe2be
(6.27MB) - 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-14 2025-06-07 03:55:23Z unipi.hvtSHA256:c78a101f6831edf588610e19941c069e593f1a0ad8ac991a0173bbe46ed02862
(9.8MB)
View the latest failed builds here.
View active jobs here.