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.
Unikernels
- banawa-chat
A simple SSH server as an unikernel
☑ ubuntu-20.04 2023-08-24 12:03:57Z banawa-chat.hvtSHA256:bf0278a0bc6f2bdb6bd3fb52848abdb17f1cff19a42b133b94009e80736b4291
(4.94MB) - bob
A peer-to-peer file-transfer tool
☑ ubuntu-20.04 2023-08-24 14:57:57Z bob.comSHA256:de22407214934054c11f7b9a804c5c60a2e1b50e5c1f2d4f9b8f69caa0f18143
(9.57MB) - bob-unikernel
The Bob relay for Solo5
☑ ubuntu-20.04 2023-08-23 17:38:00Z bob.hvtSHA256:6dec0c975e2236917b9bbb04bf7fd47ff782d09a3b3b3f3bb617678c331cf2ef
(3.21MB) - contruno
An unikernel as a reverse TLS proxy service
☑ ubuntu-20.04 2023-08-23 17:16:08Z contruno.hvtSHA256:a433b5007dba6482529848c40aec729a130beafe82be48717023041be0d4093b
(10.2MB) - contruno-monitoring
An unikernel as a reverse TLS proxy service
☑ ubuntu-20.04 2023-08-24 14:05:57Z contruno.hvtSHA256:e4dbb9068c8db9d5d8c87957f66243e82e9331bd514e8d76f4e5e7e0a6688111
(10.4MB) - dns-resolver
DNS resolver (without DNSSEC support)
☑ ubuntu-20.04 2023-08-23 16:52:56Z resolver.hvtSHA256:6492b832e21b193bbc78ec26fefeb9a48d41042a5fda19f1f42eaf594211bfa4
(5.53MB) - relay
The SMTP relay unikernel for Solo5
☑ ubuntu-20.04 2023-02-06 15:09:19Z relay.hvtSHA256:8527d702911ff6e537c38dbc9d4c39975882d362a8dae3327c65155d66cc529c
(10.4MB) - signer
The SMTP signer unikernel for Solo5
☑ ubuntu-20.04 2023-02-07 18:10:20Z signer.hvtSHA256:c0ff41c7e26f68876841e2eb5af5427a01af99291c8d9a05c1125890b2ba4fb7
(7.81MB) - spamfilter
The SMTP spamfilter unikernel for Solo5
☑ ubuntu-20.04 2023-02-06 17:00:19Z spamfilter.hvtSHA256:8847b669a1120078ea8b4a618c5889cd3189bf2ffda3b1551a1e7f70f0587dfb
(8.25MB) - submission
The SMTP submission unikernel for Solo5
☑ ubuntu-20.04 2023-02-05 16:21:18Z submission.hvtSHA256:004dc016b3d251b8ec94c5517b39fb8a6d426b5dff8dbe4c239667eecda28272
(10.4MB) - verifier
The SPF verifier unikernel for Solo5
☑ ubuntu-20.04 2023-02-06 17:29:47Z verifier.hvtSHA256:1554524a128fd10f24b6c23d4e924c96684dd70a10b6e909ee4ca40053d284e8
(7.67MB)
View the latest failed builds here.