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
- bob
A peer-to-peer file-transfer tool
☑ debian-12 2024-11-20 15:07:23Z bob.comSHA256:3346e4b6b9e0edcb64af1f95e0a19cd541632d11e8365c928f907d279d2f85b0
(16.9MB) - bob-unikernel
The Bob relay for Solo5
☑ debian-12 2024-11-20 17:24:50Z bob.hvtSHA256:1ba3c0c62c496761bab808ece8d27ca5d2bf328efc899ed2e34c4582e9e56ad2
(3.22MB) - contruno
An unikernel as a reverse TLS proxy service
☑ debian-12 2024-11-20 17:15:23Z contruno.hvtSHA256:616244fd2f01aea8729c44d2fcfe2bc0c6b14759db79d4b6d0dc2cd5eee318c3
(10.5MB) - dns-resolver
DNS resolver (without DNSSEC support)
☑ debian-12 2024-11-20 17:01:23Z resolver.hvtSHA256:1312a8257cc2ba1ca078460d51423f6f7ede515e7b06bc6171b1e8ce8b0ef825
(6.21MB)
View the latest failed builds here.
View all jobs here.