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, DragonFly BSD or OpenBSD host. Many are executed using a solo5 tender.
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 AT robur.coop if you have questions or suggestions.
Execution Environments
- .hvt: hardware virtualized - requires solo5-hvt (Linux KVM, FreeBSD BHyve, OpenBSD VMM, or DragonFly BSD NVMM)
- .xen: Xen PVH virtual machine (on a Xen or QubesOS host)
Packages
Albatross - orchestrate and manage MirageOS unikernels with Solo5
SHA256:32072e81e3f29bf0b0807adc5f1992902a4fdb999f37143545d84f0711512433
SHA256:8750cac5955079a81faa577d6bb94e13ba4e34583eaf6d46c7db57dda6bfb702
SHA256:b18d4670dc0ef08a1bc64f5ede43cb3cee95c19c80ccea2d5215cc6edd5ebe52
OCI runtime for Solo5 unikernels
A boringly simpleconfiguration format
Scheduling and executing shell jobs
SHA256:51946397b6eac201761ba2ba52f1bfa3c9a61461ac1ceb99f93c06a17869ca94
SHA256:c4c52679603e1645536f234c2d174122cc77fb6bb2b0c0a1551c37691096c8b3
SHA256:c99b1640abdece55b25f16969bad10ad7a46d393e1be28c1f3524f40c9e88388
Web interface for builder
SHA256:e7d9bf725445a65d8e772b867e6007cd8aa29f84cf358b1f84cc5bec79911825
SHA256:53d54c0e69eb29be28093fa4bb6999d7658ffa8e1fe635d901479985c4a89192
SHA256:5b4d65a3445e923c99dacd94646c01d23f7c8ae37ed279925fe022cbb9edfb40
Unix command line DNS utilities
SHA256:8fafc5fd2faa8de74667f475cfe361acbb8e6a086310a642ee6c4c48d72b75d6
SHA256:d3b07ac6e9e17fa4875902df53f41392aefd21b64b9504a425c5febfaf906a32
SHA256:7acf609975d2cf695ba053cff3814c17b1cba7749af4526f6765669194003dab
Dissect OCaml compiled programs, and weight their content
SHA256:998a39a74a3a836234a63fbce2e51abafb02db56afa8a6f5ce63e0057f657297
SHA256:1a11b136793460d67408e631089dd7e23e2af01bcacd3f848630a76f6a45a92d
SHA256:5a95e3ea59423d3797f0f69e991eb96fc37753729e3e725574bde2ea94187ac0
Graphing dependencies of opam packages
SHA256:4fe93336714f696d79d08fd0c3ae3a844fcd5076ffa7f0380a63d5f13d472f60
SHA256:bbad4b4142bbc20eaaccd4d02f8c7df912c8c62b552c56dc00c0c84bf6f2d4c2
SHA256:c8814e8759174841147780043b5eb6c05f7a05a137daae70ac888ac58478831a
Check opam package reproducibility
Solo5 sandboxed execution environment
Unikernels
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
An unikernel that provides an opam-repository, and is a conex snapshot and timestamp service
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)
SHA256:8e755948857bd6df6089f94abb738ce8a211f2e31a0d2a731a6c89292d5b249d
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:3876fff606b38b922f425473f079592c8ebb1b495ef9216726cb901b0257c452
A secondary DNS server as unikernel
SHA256:fa540ea91e594784b8f46bd75af00415d4dec2582806e0bcb2ca8ad46aad0840
A DNS stub resolver
SHA256:2a4c66a9026499b7e879b22e0e078cdacb09811ba2ad64e1b95ba30bca28b3e7
A DNS resolver and DHCP server MirageOS unikernel
SHA256:6c65eb888958c575e476dfc30d78dd9f0a28996ce3b5d9c45914d76c765c452e
The famous hello world unikernel
SHA256:86727f93f7f969036679918606fe3bed71a787bcea2e0b363e353b590dd4b5a4
An OpenVPN-compatible server unikernel.
SHA256:4ef70b33fb322b627ec5d0c0bad7539bdc35f934d008bf9156d86f458a25063b
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:0af43cf36d63ebaef5b18d069123fad3d70a821c14700042faa0cc02f6dfc9e4
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:f07fc4e6b96aff1fb7fd44eb71db6ff87bdbfa2309b3ad6abf24f911f156f264
A unikernel executing a traceroute
SHA256:9b7ba2c81ba4930747d6db3d959eccaabe884b82d83c4a6146e45fd899b5565a
A web server unikernel which content is stored in a remote git repository, TLS certificate via ALPN let's encrypt challenge
Unikernels (with metrics reported to Influx)
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
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx
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
SHA256:374dab8360c5298ca06be1647a193cbfa33f8fba47e796ebb7fed9e7807f672e
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:52b1cc67c449ca7a336e71f0d58c0d9d487e7a8892324747a6e5b69bb8cdb5b5
A secondary DNS server as unikernel which reports metrics to influx
SHA256:e6232232b170ed4ee56dc2828f2152033ca19c71beb87163bf1a0ec870a8c03f
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:f96ef9dca27ede78d9f87f121aa1a9ad5eb30ddf56cdd1a51378dc7893ade78b
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:d1fc8adc210d6cda4dc60248b1c2ebc3b6db48237107819624f89da8bb9b22af
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