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:8b365541f32f77b26f27e8cb6b2d4223e30a8d2b4e744b4474f6031ff0aeae98
SHA256:628bde7f1f32c5888db0bba321138e03f79d5799a63399eb088f425e837d31ab
SHA256:84ad982efd0c4ebdd68a56443fc580040ca256bd9ab6f3715ebe82ffa5b97506
OCI runtime for Solo5 unikernels
A boringly simpleconfiguration format
Scheduling and executing shell jobs
SHA256:ba52e1fde4d12cb8c0985d95f79f35f0d4129a23a0c000fd0046da25cda9b77c
SHA256:e507d06424ec08770714ca617c5148ee900db97a9ae521c8bc2676a440108a1e
SHA256:c8387c0d458f014eb1747f6facefc7f1d6e1753860634889cf356ce4134157fb
Web interface for builder
SHA256:96e00b2ad6669c6962180bb559a24abd3d0280ed2c7956e2145b787b4fe24130
SHA256:8dd7fd086c10fb77bf621fd507ac1fff26d5e9f734f9a86f5b0e8eaac76dcb86
SHA256:8c3744e239264cf547cd45567c09ac7092b17baf8fbc6b1ac4e2b89eb802890b
Unix command line DNS utilities
SHA256:27ca59268fc40492e1cceba4467503a2d5fdbf9d52591636f9a53636a492dfc8
SHA256:363b2132618447ec3b9337869595261ae360b11ecb10444c4795f4b40bea26a1
SHA256:5af2c2a47f03d897857b85e348a116de5979ee11aad328140e65b2e5f97861e2
Dissect OCaml compiled programs, and weight their content
SHA256:c1b93ab8c6782b0bdb67e723a1698c23d2ced352682b471ed54bb8380db93af4
SHA256:3809c02666b9936b6c4fb441ed771d19976591a6f0e99dadb981b8af1f873f55
SHA256:59fdbfa4145828ed8cb29d4e6439e4a25f5be940e1681dc7049027a64214d1e9
Graphing dependencies of opam packages
SHA256:d81254ff8dcc190d1700010f17e8f83dd729aadc79a8585200482c3fcf37e243
SHA256:bac5482a545c23cb5af9c74d38d11bcc7651c75f62c5c20d55d8d128413008f4
SHA256:ee5e617270bf3a8eb2fc750cfc9512a3ab0740b89a287fb46fcfe201946bb1da
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:9d08a55337d68a640ccb5fffd970c472bc4b77e78f64520a0d0bd2b895cc5fdf
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:df74913f4e9bec0ef934c1cb3d403735a473e73757fc8b6a1cf022edd6171de4
A secondary DNS server as unikernel
SHA256:c1bc53bd123091908311094800feaae5bb3aceee0f3ed5867b73eef0b5fc35bf
A DNS stub resolver
SHA256:d45307b96e573d8c10f53ba0de98c5bb58592181badb2f3bf641e4ba2d1d9033
A DNS resolver and DHCP server MirageOS unikernel
SHA256:c435e051ab580d525107cf741a2cf72b9de9af90ecd988cc2cb9815d9d13b8c8
A really simple unikernel with mkernel/unic/mfetch
An OpenVPN-compatible server unikernel.
SHA256:c5558afea462a35e1be21d6cfccc973ea52e8570dcc1a4cf6d1523348efb1d93
A DNS secondary unikernel with monitoring and mkernel
SHA256:7609c969cb3cbb728f5c1eb719ef7c5f50b02420bc76413b43d32f9320e39a82
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:4d73def4d4aabd1c8058bb85b058450f55ce1eef7140362f1276b3f3144bca79
A unikernel executing a traceroute
SHA256:ee1360a86b857921dc664bc14135ac92763d16ad400726de1c62afdf38f0b4b2
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:cecbc0d3176714fa353f63c38d03706c497295e5a4b9e452d9a6a9b450d88983
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:4f0f4218e2c3937b1555399b6e69714a6aa9e266cbcbf3c7ddf90aa3668317ae
A secondary DNS server as unikernel which reports metrics to influx
SHA256:39bda1ea2c278ddeb1ac8ac37035b6114efa931fd363938b9421a299875bd9bf
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:16932e8177c6ee30ae74b150a4bcdf4935e8a918a8eee1fcc18a32946de3979a
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:fd5723f87bb1e2f09b7cfe24bc998a8f90c35e0dab0c155af379cb39d2474dfc
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:1f44df0f05eae66db0835b718fbfd7684606d5eb68869a4d76059bb4e9ce8e42
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