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:a1798f1fd27bb862b939189ae2a5ee558dbc2a8ae1044b1392426d5f3afacb90
SHA256:c67da2a17ca2bf595846135b43517b87d4593335243e1968dd93ade0553803ee
SHA256:53d81a540147a7b61afd282ac4f579193a8bad28b07d863223a5a951e0e33a97
OCI runtime for Solo5 unikernels
A boringly simpleconfiguration format
Scheduling and executing shell jobs
SHA256:f40ea3f3153241f69856d760a818ddf7767e8ac587c8d9586bb06549d711e666
SHA256:26327ce10912b59d4371fe3a7229c38765880255c9e7abbf7550f5cb9482dd40
SHA256:bbcc6e8fb9c9b17b955ef36f62c9c2f9803219c8eea2b673c32598da01704713
Web interface for builder
SHA256:20392c222b93ed25ac62ccffec76788d9224c5bfe158c41e4a2a4f0b69e0de0f
SHA256:c4e6a270280f46973a4e52b5905f4ad2a2d0e1c9307600a8351343f4aac5742e
SHA256:a2001476c9f2b4e2625e21b28fa27d5c0a8c80d7ff567615b9b2cebdb9d8c9c4
Unix command line DNS utilities
SHA256:a2e610b830134d319ab94c1c337b1f2876ac6d06e88418586b5bdf0173ebe78f
SHA256:f1722147a121a0067441a83fe73280c2cb8e7a4d8021db0f32e583687c09d512
SHA256:33b3776fa3086ee47ddd219c92684ed55e5258931f843747d60754f8e76a8971
Dissect OCaml compiled programs, and weight their content
SHA256:998a39a74a3a836234a63fbce2e51abafb02db56afa8a6f5ce63e0057f657297
SHA256:1a11b136793460d67408e631089dd7e23e2af01bcacd3f848630a76f6a45a92d
SHA256:5a95e3ea59423d3797f0f69e991eb96fc37753729e3e725574bde2ea94187ac0
Graphing dependencies of opam packages
SHA256:4fe93336714f696d79d08fd0c3ae3a844fcd5076ffa7f0380a63d5f13d472f60
SHA256:bbad4b4142bbc20eaaccd4d02f8c7df912c8c62b552c56dc00c0c84bf6f2d4c2
SHA256:3175b7a7c9ddcae4d8b6fbc14d29402c24aeab2c2f4f346d4a4ec423723a3d53
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:bad7278b0ce83fe2fae7d8de21f996cdaab4e243da2bc99bc090509ae2784971
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:f66cac28d8b4f97d963b521b44306b730bf2e663486e8adbf6e6e05bc05b0e3f
A secondary DNS server as unikernel
SHA256:908c29474d20f054f58832734bcac7ad16184f434e4e07522751b38df8c8ceef
A DNS stub resolver
SHA256:39bc814aacdd59903a96ac3653e10d61c1bd7c27bf0658d5866e33082757bbe5
A DNS resolver and DHCP server MirageOS unikernel
SHA256:ed624a44fb19ff23256f2e8eb5802c1cf5cd9a930904d459f4c9662c3d35201d
The famous hello world unikernel
SHA256:44e9e47fcf835854f5d08919351a26d3b801d6b1d28a02fcb01a32d254f2d74c
An OpenVPN-compatible server unikernel.
SHA256:770745535fe7581c0fd596763f28863755b9e124f603bcb065746f9568a07b42
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:ff57ac167bc83b48b5a13c7e8edbb74481c9cc1a0c45bb47b283919b138ff018
A unikernel executing a traceroute
SHA256:eade9b0e7adcfaa1b622b23a1b26fe805a263eab57b0bb6fd95f03ae66d7d6c9
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:34f2921349fe394164e2d583446378d8134047cbd26c6e1cabbb4df87bad4841
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:0c2da1ec4604321bfcc0aef062f821807a70e5a25e30649eade168849b0511e5
A secondary DNS server as unikernel which reports metrics to influx
SHA256:b4bfeb1dae3caf4a10a009f20382358999288a4a121700a63a46d400030bb7d0
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:24a7c2a97507a8b55646adcd3dd26398112704e9f02d97ecd0505b0b4eb3399e
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:26a19d5755c0b312bde795156fb924abf3b4972e3467701eaa4a23b9eeb07597
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:b4786f4bb7a83ea258cf93b25b545d8fe5989ca64395ef7d3493b51590adb7bd
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