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.
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, or OpenBSD VMM)
- .xen: Xen PVH virtual machine (on a Xen or QubesOS host)
Packages
Albatross - orchestrate and manage MirageOS unikernels with Solo5
SHA256:26d1373a596286e373e2bc978e9c2e97ac8ff86cec384d86cb31b3ae498a65c1
SHA256:2dd5c0973391c290d47bff834d6bc86be27a23eb6347fecd7ccfcd2d3867701c
SHA256:dab5f783e5dadf2c9b4727c84084ebabbe517d75c404ee744c20cb34db43f66d
OCI runtime for Solo5 unikernels
Scheduling and executing shell jobs
SHA256:f42bfed646df3bf33f564d53fa16811d6750d192dffaf5edd2b77b8ee2933ba5
SHA256:c422d759d0b245352d03d685098576a804172bde67f418a5e2213371fd8962ac
SHA256:e0646dadb85d150aea537d3aa263fc738889003f978f1374e2da2a4cfd521f89
Web interface for builder
SHA256:246280ba66f6d16b4ac67a1b251498cce0cdc334e973b2c59be8614ec9686147
SHA256:962432c58052243b81c8cb33ae93f366107cca3e96736aa983dd2c261baec382
SHA256:ab55dce82e53a1a1710058f107b8add077f468adcc256747c511ae41d1d7e3dd
Unix command line DNS utilities
SHA256:84d275b9f6088b026cd35be5192d791c1e70902f4eaf08095e9a192222297370
SHA256:5231e91e73e116d3e395967e74cf04a32f47a6ffe4b08c5e8a227736ea2288b6
SHA256:71a385dd7900a918a10c4c3216ac9c708b93f5600d3026dc4fad1b5bd3d6f6dd
Dissect OCaml compiled programs, and weight their content
SHA256:998a39a74a3a836234a63fbce2e51abafb02db56afa8a6f5ce63e0057f657297
SHA256:1a11b136793460d67408e631089dd7e23e2af01bcacd3f848630a76f6a45a92d
SHA256:93c8ba5ca00dd254eecc53cc3226b5042433c9bb4ea23684cba9edcf134da0e7
Graphing dependencies of opam packages
SHA256:4fe93336714f696d79d08fd0c3ae3a844fcd5076ffa7f0380a63d5f13d472f60
SHA256:bbad4b4142bbc20eaaccd4d02f8c7df912c8c62b552c56dc00c0c84bf6f2d4c2
SHA256:7872f04a51e76b740d9e40c31678c3b87fb144187128dda40febbd867ca4a9ca
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:6f1c3bc98637109af85974676ccf8043301abb1855cb94eaf9b9ba67a972d91e
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:2daab2a73b710a2c31e50c2d6da8e153f190605dd5233e6ced522cd78c78cde3
A secondary DNS server as unikernel
SHA256:1863afad838261aea24abbd719cc3f82b9d95fabec846b8de8eec5b8ab9279e4
A DNS stub resolver
SHA256:2c0be29f80b0154e9ee7dadbf42a51356240e48ab6fbea7e14c4045f3188bd47
A DNS resolver and DHCP server MirageOS unikernel
SHA256:8773c9777d5e96053de859e1db5530d0979668f4649cf456dc45611614dbd67b
The famous hello world unikernel
SHA256:4339914578805293ee87008865ee4b50d57f41713a75b7ef2c7de02c37907569
An OpenVPN-compatible server unikernel.
SHA256:bb10a23141f25ea2bde2c726b7e93c9e35f5482c3023f6554a206b80105a2d99
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:8a4b36df7079be4aa1db51e5bb770996248d50b2bbc69ba6ccefed2ec5209fbe
A unikernel executing a traceroute
SHA256:fcdf9198096633740f81eb4e4feb7de60a54f9d9a3ef38d727d6ee5c7a2e45ca
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:11ac5b61ba4ce269d61f09f35d8f9a5aec1f462062a2a5904ca79db353608768
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:24b7ad33428320ccfc694a62f46d0045e4eafb60124cc807ac52ff9f4a4feb66
A secondary DNS server as unikernel which reports metrics to influx
SHA256:9d56780bda84c7c47b9a6f1f49b936288d6061ae4f1cf7729ebb5c39df89501a
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:966b681d2d9cfc6ead5d0d9803d132e757067045665d7e36ccbc7eb8d2786b14
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:667bc455ac85ba41c86cc9b296818c44ca8364ac41993b717e9c683cef2df5dc
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:747fcf8b95b877b124296cdab1284136a24b7ec47eeab8b8b391713390a4e652
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