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:6b523ac42ecf98e7f5a411c5316a8746dd735a9156d3d324b21b6bc015543fe3
SHA256:502fa6843e77a4fdcdc2beaa6bc5ef9c109fd9e9323c444d6db115e1da7108cc
SHA256:171b119ce2f05fee3c2090972ad1f172219ab776df79aef1a16fe541bf428841
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:eaeb259074640b698dca331083db3b8a649c530ef320bca1541ca0a7fc7ea224
SHA256:0d4566d694147e1d4ee5a65340379c1ea4d5b1628c6ff5bed63a8ad5f683e268
SHA256:000ab139c1d1e93c4782da51433dbbff95ae9570182065bdf1f4dac72845801f
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:7e8005b569813be246ef7dac1b5fe52a3c4c069ed0af38cb23e604c3412e86b1
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