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 2024-04-27 11:41:33Z albatross.debSHA256:870583dcfda63e1ac9004474199ecacb68912033de4851f390d9cf4f0290f154
(18.7MB)
☑ debian-11 2024-04-27 11:41:33Z albatross.debSHA256:49abddf67c893280f648f9d6abf7ae5673330daa779124ed7f124df44814e3f2
(18.4MB)
☑ debian-12 2024-04-27 11:41:33Z albatross.debSHA256:14c54b27ff29724934674f9fb892e92dbb8818a4415e69d2d7ddf64b741f3979
(18.8MB)
☑ freebsd-12 2024-04-26 20:55:17Z albatross.pkgSHA256:bcff99da61d27032d44f108246d6d3f5a372eb24239c2e465238254f99257a7b
(13.2MB)
☑ ubuntu-20.04 2024-04-22 13:45:45Z albatross.debSHA256:807b783d9cd7c5f87979eab89fa70e2e396dae1f02f2a2a952c584f406249850
(18.9MB) - builder
Scheduling and executing shell jobs
☑ debian-10 2024-04-27 12:09:36Z builder.debSHA256:84a530c713a4f2268ab106ee7824e6b2fec9dd9143f6c4b2fc9e3e85aef9dd5a
(7.96MB)
☑ debian-11 2024-04-27 12:10:00Z builder.debSHA256:6c87ee1d297bbf797be5b47d40361a18e0447b5f10b6d24fef09be7ff606ecf5
(7.88MB)
☑ debian-12 2024-04-27 12:08:24Z builder.debSHA256:d39a5fa3d20bff3a4456fa9755357de2e1ca97cdc1b22ac444694ec83fc297b8
(8.05MB)
☑ freebsd-12 2024-04-26 20:25:24Z builder.pkgSHA256:0281e8da20a9b341c85121053c19592d7fe9cd7d3b9f0d5d7f7038d46855687f
(5.92MB)
☑ ubuntu-20.04 2024-04-22 13:29:12Z builder.debSHA256:85815777c2f7aff5e5db769793e56d45502c529729b94a533df9fe91b7cc0bf9
(8.07MB) - builder-web
Web interface for builder
☑ debian-10 2024-04-26 12:06:38Z builder-web.debSHA256:f34495ab5f1e3af71c1c6d428296ea492ed9d0ff6bffc993ed18ae1f33ee9374
(12.6MB)
☑ debian-11 2024-04-26 12:06:37Z builder-web.debSHA256:f985f4e84d5a1d4e98c2a2868d3f50df321523db2edca2b4f3bdcb430f01531f
(12.5MB)
☑ debian-12 2024-04-27 12:22:55Z builder-web.debSHA256:1c9972135501b3dc4d9b5fe2a4214b3b11a2f73508d6c43a2bdae91644ed6d3e
(12.9MB)
☑ freebsd-12 2024-04-26 21:12:31Z builder-web.pkgSHA256:ee76927905306bfa5e31a4fab076155924704b89e798ab9902be0791375a0b07
(10.8MB)
☑ ubuntu-20.04 2024-04-22 13:12:43Z builder-web.debSHA256:daee6ce6ea8afd6eb885cd2d5ea9588951bb762aea659144b1a8e34319bedf76
(12.7MB) - jackline
Jackline - a minimalistic secure XMPP client
☑ freebsd-12 2024-04-26 22:10:05Z jackline.pkgSHA256:6e055222a662dfb6c6b11155b158abb563f4b339e54125a8254c91e82404dc80
(4.71MB)
☑ ubuntu-20.04 2024-04-22 13:20:39Z jackline.debSHA256:9fc153049b63d87ce3a1d5349b998360b87d1d4d0de56a5755201dae8d84b914
(5.57MB) - modulectomy
Dissect OCaml compiled programs, and weight their content
☑ debian-10 2024-04-27 11:53:47Z modulectomy.debSHA256:4d91bbdc9031b3324de4e16043cad3de30d429fdce0d3132bc05607876871c1b
(1.61MB)
☑ debian-11 2024-04-27 11:53:54Z modulectomy.debSHA256:a776b29ab4c42a7164abef90163206da190da4761909b3b2c97e0d62269e4b88
(1.61MB)
☑ debian-12 2024-04-27 11:53:21Z modulectomy.debSHA256:26000ff436f26799c3043556645ef31e7c7a1e102f43e90aed25006c91e2c477
(1.67MB)
☑ freebsd-12 2024-04-26 18:41:30Z modulectomy.pkgSHA256:2515ce2a0b890aba0710fb36f351ae514815d2ec66c26b322811f99c58560167
(1.39MB) - opam-graph
Graphing dependencies of opam packages
☑ debian-10 2024-04-27 12:01:47Z opam-graph.debSHA256:8c2d2305f7ff37e9e26d7e690afd406ac0b00a3753ce36af5f819bac822ddbb1
(2.3MB)
☑ debian-11 2024-04-27 12:01:49Z opam-graph.debSHA256:110df60c865d54c5cf2623e645ee7618c4ef7d50f691805f999665d05f6a14a7
(2.3MB)
☑ debian-12 2024-04-27 12:00:57Z opam-graph.debSHA256:2598ab591f06ffbf64a3be5076125b3712475018d20de4fe5514d278b0ef3413
(2.37MB)
☑ freebsd-12 2024-04-26 18:47:35Z opam-graph.pkgSHA256:b34d668fc86342f61cda53b6eb71a803c59af941a77e4020e70a25477905acaf
(1.94MB) - orb
Check opam package reproducibility
☑ debian-10 2024-04-27 12:17:42Z orb.debSHA256:8c373ca2e700055ee9124c5a12f8401311bcb92bae03ccb3a4ccb6412ed6e963
(4.12MB)
☑ debian-11 2024-04-27 12:18:16Z orb.debSHA256:b3a74a3cdd65e4a86f7ebee4051f3294c9f6c21fd3f3868ab846d3bc4aae31e6
(4.14MB)
☑ debian-12 2024-04-27 12:15:59Z orb.debSHA256:8a74aba94801f33238b8df878ea41fc5f0b5a89966d834ce7645010e92a91e67
(4.26MB)
☑ freebsd-12 2024-04-26 18:16:28Z orb.pkgSHA256:76c6ad5a7ded204dba3eb95b8d04a7c8370f0da744c240cde2313476fe59285f
(3.49MB)
☑ ubuntu-20.04 2024-04-22 13:06:11Z orb.debSHA256:919c4f2703413eabc4d187dab6012ae86fe495da8e215c3fd9dad169c082d5ad
(4.18MB) - solo5
Solo5 sandboxed execution environment
☑ debian-10 2024-04-27 11:51:04Z solo5.debSHA256:ffb7bb9b0c7b8e2aa2c7bf9e7f94694d0b6cf4d466d66762f863140346bf98fe
(95.7kB)
☑ debian-11 2024-04-27 11:51:12Z solo5.debSHA256:67d2768befd0946495225b0d8b0e27518281da3db5e109fdaf33b055895a3fc9
(99kB)
☑ debian-12 2024-04-27 11:50:51Z solo5.debSHA256:d78ac9a6a2d00c8f24727f2d9925b23c8a03563fef961ee3ad18ce1ac3eca8a7
(101kB)
☑ freebsd-12 2024-04-26 22:08:36Z solo5.pkgSHA256:1261f0f2595e66f743365f8cce010f686cf8b6ec11040b7134ff6ef2851b5f4a
(61.6kB)
☑ ubuntu-20.04 2024-04-22 13:53:42Z solo5.debSHA256:7db3cfd9d3898b5ed7b2396aea847c62f11cfd9e673e56c0e88ae9e44cf89940
(104kB)
Unikernels
- caldav
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
☑ freebsd-12 2024-04-24 21:58:14Z caldav.hvtSHA256:2a66a115dd52a1d06097514be548e79cf3b565d3aea8b8f0dfa6fd70eeb807eb
(14.5MB) - 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 2024-04-26 21:40:22Z letsencrypt.hvtSHA256:08f9d56f63905d7b309664df64d2309abeb3fb0d8d71d489aef501af58a39957
(8.29MB) - dns-primary-git
A primary DNS server unikernel that stores zone files in a remote git repository
☑ freebsd-12 2024-04-24 20:29:40Z primary-git.hvtSHA256:7845fd43ad95ca48a3aea9fce4eb01b60162b2b523ed72a9d79f2ad7872f6e10
(9.53MB) - dns-secondary
A DNS secondary unikernel
☑ freebsd-12 2024-04-26 21:21:30Z secondary.hvtSHA256:ccfab572532de458cdd868c021a3c0bbeba290ac90e90abef601e57d05de5cae
(3.42MB) - dns-stub
A DNS stub resolver
☑ freebsd-12 2024-04-26 19:03:00Z dns-stub.hvtSHA256:0d034f843be38e7356032d60c87f876eeb0739d889dd469a36e19843f091360b
(6.79MB) - dnsvizor
A DNS resolver and DHCP server
☑ freebsd-12 2024-04-26 18:22:52Z dnsvizor.hvtSHA256:1eb6ee928bcd8dd1c7a57dff4948f3a08b4d6900c2af592b56d5257fb81bb6f7
(7.69MB) - hello
The famous hello world unikernel
☑ freebsd-12 2024-04-09 22:46:20Z hello-key.hvtSHA256:e43e999fbc0f9b4ecadd89f0ba513a8607d6a9791a71e5f4e2404a46e69541cc
(1.77MB) - opam-mirror
An unikernel implementing an opam-repository and archive mirror
☑ freebsd-12 2024-04-24 22:39:10Z mirror.hvtSHA256:f3e2793e7f8533979ef22a48b6c21009e52ff952cde4a03e2cfd95a992f934dd
(9.72MB) - qubes-firewall
A QubesOS firewall as unikernel
☑ ubuntu-20.04 2024-04-20 13:46:39Z qubes-firewall.xenSHA256:698999d6482a49dffa4418f21e16c3c99e6626e2e523ec8f4e9746326013e86d
(4.29MB) - smtp-relay
SMTP relay unikernel
☑ freebsd-12 2024-04-25 09:13:12Z relay.hvtSHA256:c73d60651f1e16a47e01fddd1b8bfc8ee1c141ef20c9eb85d6dc1608b56d39ce
(11.1MB) - smtp-signer
SMTP DKIM signer
☑ freebsd-12 2024-04-27 09:04:00Z signer.hvtSHA256:1d92667a13c0e0df5e435b6686e0a0e6805c7956d5058993f49a9fe957c8bb94
(8.44MB) - smtp-spamfilter
SMTP spamfilter
☑ freebsd-12 2024-04-27 08:52:45Z spamfilter.hvtSHA256:7bc936197747c3e5c4cfed1b47863c695a857df8a35af09070d24d891a174e13
(8.97MB) - smtp-submission
SMTP submission unikernel
☑ freebsd-12 2024-04-25 09:25:12Z submission.hvtSHA256:6a9980f8f6ccebd6c3d565bcccbf2c802ebf2a0d2a35451dd6a3fc27c874e04c
(11.2MB) - smtp-verifier
SMTP DKIM and SPF verifier
☑ freebsd-12 2024-04-27 09:24:47Z verifier.hvtSHA256:df39cba87e22185544da013a160dff2a9889584c2bac8e7619ac3c76dfce4323
(8.18MB) - static-website
A static website example unikernel
☑ freebsd-12 2024-04-09 18:15:36Z https.hvtSHA256:e0ba47946996b9df1cc68ec9d19fc5f382a7899042563d3644388987f537324f
(7.68MB) - tlstunnel
A TLS reverse proxy unikernel
☑ freebsd-12 2024-04-26 19:24:40Z tlstunnel.hvtSHA256:ac768dbaf903a9d5a18d509fefb132dc11c15523a26318934490a08c37fae147
(6.37MB) - traceroute
A unikernel executing a traceroute
☑ freebsd-12 2024-04-26 21:03:12Z traceroute.hvtSHA256:82dc00dc2324368348804a3a5f420a84d3b1870574cfdb5094d35c1b224a0e11
(2.39MB) - unipi
A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
☑ freebsd-12 2024-04-24 17:59:50Z unipi.hvtSHA256:d58d3bd992b2cc1bb7b1a862937e7bae414103c0eaf6374a1c30572b57ec336e
(10.3MB) - 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 2024-04-24 19:00:10Z unipi.hvtSHA256:fe234ea92c52ecce0bd7baa7cced3e26d5fa8b7f0c33ab2d2adbbd2d46067770
(10.3MB)
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 2024-04-24 20:51:56Z caldav.hvtSHA256:51a167162ac8152ac0180222b097cee5e4c57056da9522c4d9afa53c73ef09fd
(14.7MB) - caldav-monitoring
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
☑ freebsd-12 2024-04-24 19:51:36Z caldav.hvtSHA256:c8b0df3668b53a2d1db4ba680f950209ddbc90f6792fdf364fabf5f3ee19c8f6
(14.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 2024-04-26 19:13:45Z letsencrypt.hvtSHA256:e4325f7695ec80b683b986014c34753bb8d2b984fbec7f1f621d5d6c25843582
(8.53MB) - 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 2024-04-24 19:22:36Z primary-git.hvtSHA256:c288676365657958258350f032686c9892388112f1a67f9d032f7a430ec7025a
(9.71MB) - dns-secondary-monitoring
A DNS secondary unikernel which reports metrics to influx
☑ freebsd-12 2024-04-26 21:30:56Z secondary.hvtSHA256:5df8662ba796d6894d37ed68ddeb8f45d27733ee46d7128dbe7d6a6126a7a3e9
(3.72MB) - miragevpn-router
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
☑ freebsd-12 2024-04-26 20:05:21Z ovpn-router.hvtSHA256:5598b5c9e1aac5fc9d1b3aeda3a6a93400d51ceb14f3dcb33a04a07048248ea8
(7.5MB) - nqsbio
The unikernel used for https://nqsb.io and subdomains, reports metrics to influx
☑ freebsd-12 2024-04-26 22:29:04Z nqsbio.hvtSHA256:e8e7191d33992c4ea3ec9d8df833e7d25129cdbb9b6dc33d38985893bc3824d3
(4.13MB) - retreat
The unikernel serving http://retreat.mirage.io with metrics reported to influx
☑ freebsd-12 2024-04-26 19:45:46Z retreat.hvtSHA256:8a43d8facac909328089d8cd25e883e678ad6227d7e1b61402a247d4b8915074
(7.3MB) - tlstunnel-monitoring
A TLS reverse proxy unikernel, reports metrics to influx
☑ freebsd-12 2024-04-26 22:18:50Z tlstunnel.hvtSHA256:3caea6bb6fa0e76a2e80555b2f8518239252c9a54c6ec8e0249ccaee8e09261d
(6.67MB) - 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-12 2024-04-24 22:27:54Z unipi.hvtSHA256:b270f0db8fa015149038efd143d43566bb7313878d7f80be838833da28f2703d
(10.5MB)
View the latest failed builds here.
View all jobs here.