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 2024-10-11 14:17:02Z albatross.debSHA256:13f001ce959cf01a6b7b5db1cd737529ae8a9bafe221526781977a9fd46310ff
(17.4MB)
☑ debian-12 2024-10-11 14:16:32Z albatross.debSHA256:e1c695361ad993526b27075945760889e7095872d477b0e1fc84cb7954df4fa7
(17.9MB)
☑ freebsd-13 2024-10-11 17:04:46Z albatross.pkgSHA256:98bc5c017d91c1850342b1786ca1eb8f0a1e0ac3c59caf455a2292935ca15a2c
(12MB)
☑ freebsd-14 2024-10-11 23:11:51Z albatross.pkgSHA256:69e1d1e64e755aaacde73415b4ae4b95f5e09a331bf26e97ed2e496cd7b33f92
(12.2MB) - builder
Scheduling and executing shell jobs
☑ debian-11 2024-10-11 14:10:37Z builder.debSHA256:49cef4e122b58844906e4a73bc70c96ac44a6a8498007d3be89abf0b27256eda
(7.15MB)
☑ debian-12 2024-10-11 14:10:19Z builder.debSHA256:bcc3c3a246c12657f3ef5818e3cca1a19c6163bdd50c6596186f1d8848a8aa0e
(7.33MB)
☑ freebsd-13 2024-10-11 16:51:48Z builder.pkgSHA256:648556a796df9fc6d68b21621832081164432aa1dfa6d3ef8e48c06b73ea83cf
(5.52MB)
☑ freebsd-14 2024-10-11 22:51:50Z builder.pkgSHA256:8bd26b41ab2afb5484c3459721c00e76a519b69a1941ca1c5fd71014ac567ef1
(5.16MB) - builder-web
Web interface for builder
☑ debian-11 2024-10-11 14:29:35Z builder-web.debSHA256:c55d653d4f32f5b879921d2c157ccd8bb0c6e9c7c3a3fb9f3eb5564f86a40421
(14.3MB)
☑ debian-12 2024-10-11 14:28:59Z builder-web.debSHA256:b2dcedbbc3f90448def598a0ee4f7eec3c314653d4057449bfcf7d45179b0b8a
(14.9MB)
☑ freebsd-14 2024-10-12 00:40:13Z builder-web.pkgSHA256:a0ee88845b0d41e2774bc56a480c47a83a24833ca626055b8d1ff388e77bc531
(12.5MB) - modulectomy
Dissect OCaml compiled programs, and weight their content
☑ debian-11 2024-10-11 14:04:50Z modulectomy.debSHA256:d9b9825e05173b42fb5f7cddc3b828df3cee7e2b94667d738d491c961e5db2a8
(1.43MB)
☑ debian-12 2024-10-11 14:04:40Z modulectomy.debSHA256:71414621da107142fbf68608e87a4d03550117bcf2822d20d050af4a3dbc8479
(1.49MB)
☑ freebsd-14 2024-10-12 00:28:55Z modulectomy.pkgSHA256:0d3cfcbdd7468cef863cd614209c1c11e04a8d1e9770aacf468c9a36b9a87308
(1.26MB) - opam-graph
Graphing dependencies of opam packages
☑ debian-11 2024-10-11 13:58:55Z opam-graph.debSHA256:e3b584c72f95d1d0aedff8149d666f95bb64fceee04876f2063dd6dcda52fe36
(2.21MB)
☑ debian-12 2024-10-11 13:58:55Z opam-graph.debSHA256:9efa797c2a9c25309f73d0fff9d949460255537def80cef17d7b9bd2e25d8a09
(2.28MB)
☑ freebsd-14 2024-10-11 22:32:49Z opam-graph.pkgSHA256:66d0d6338357eb509617d5faddd9da8b22dde3ac7151bc2a832bf2753bf52e1b
(1.86MB) - orb
Check opam package reproducibility
☑ debian-11 2024-10-11 14:23:25Z orb.debSHA256:76c87a064fe8b1a38f8981cfa1299eb345b4db4d435a39bb2b686f0d419beb6b
(4.56MB)
☑ debian-12 2024-10-11 14:22:52Z orb.debSHA256:1279f17089df43515f9705e82fdbad5742ca5467ad01bfffd88159de41be1e75
(4.69MB)
☑ freebsd-13 2024-10-11 16:57:35Z orb.pkgSHA256:dfe0af87784f803633a030327a01ff601c3599e42b4d41571bdd62e380b72838
(3.91MB)
☑ freebsd-14 2024-10-12 00:33:39Z orb.pkgSHA256:a3d486b8987eb1723a616660b5f7ea876f9630188b5e0836cf26d8587adb66e3
(3.91MB) - solo5
Solo5 sandboxed execution environment
☑ debian-11 2024-10-11 14:37:35Z solo5.debSHA256:5b7e15ef509144ba16f6b5460c4e791775a4ef1d6e91686f588ef1a7cb385162
(99.1kB)
☑ debian-12 2024-10-11 14:36:50Z solo5.debSHA256:7df340c65b35ad3ed19818d211f27705d7b4316046eff2800b83ccc9b2053de3
(101kB)
☑ freebsd-13 2024-10-11 17:03:14Z solo5.pkgSHA256:d7eaf5833d0e9ff9d2821f45e5945583b93596a9d4964bec182065fd9543f2b1
(70.4kB)
☑ freebsd-14 2024-10-12 00:39:00Z solo5.pkgSHA256:e5042c3f4bc0477a4a1b7e2f620035c2820638317614fcdb3faa63c5154b0ebf
(67.8kB)
Unikernels
- dns-stub
A DNS stub resolver
☑ freebsd-14 2024-10-11 22:12:49Z dns-stub.hvtSHA256:50b70749b1d0f8adfca0bb7040812d135c2a0d1bcc0cdd48ab7eb13d29522419
(6.37MB) - dnsvizor
A DNS resolver and DHCP server
☑ freebsd-14 2024-10-11 22:02:49Z dnsvizor.hvtSHA256:c478151579e5493e1ec42f8558dcd56ef092abef0d1c16813961dce486c56146
(7.64MB) - hello
The famous hello world unikernel
☑ freebsd-14 2024-10-11 22:42:50Z hello-key.hvtSHA256:53861a5d700539f8686206b328c9cacc4f3d5c9e901a4a1ec9ddc9d870d7cc5c
(1.59MB) - 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 2024-10-11 23:01:50Z ovpn-server.hvtSHA256:4d8e988002580a6129c501b9c5dfe59cbcd263f7dc07ce4d9a48643c19987a6b
(6.89MB) - mollymawk
Mollymawk is a web user interface and REST API for albatross
☑ freebsd-14 2024-10-12 00:47:02Z mollymawk.hvtSHA256:183c805f7207803d0493194c647f0c334e08b9d07b31bb1c5ea952a3e9b8c66c
(9.15MB)
Unikernels (with metrics reported to Influx)
- miragevpn-router
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
☑ freebsd-14 2024-10-12 00:54:53Z ovpn-router.hvtSHA256:9685e94bae734dfb4527fcaa56c1e96d0276ebc5bb370b5c13ecaadb7ec0c583
(7.14MB)
View the latest failed builds here.
View all jobs here.