Reproducible OPAM builds (original) (raw)

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

Packages

albatross
Albatross - orchestrate and manage MirageOS unikernels with Solo5

aussi
OCI runtime for Solo5 unikernels

builder
Scheduling and executing shell jobs

dns-cli
Unix command line DNS utilities

modulectomy
Dissect OCaml compiled programs, and weight their content

orb
Check opam package reproducibility

solo5
Solo5 sandboxed execution environment

Unikernels

caldav
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage

conex-opam-mirror
An unikernel that provides an opam-repository, and is a conex snapshot and timestamp service

dns-letsencrypt
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)

dns-primary-git
A primary DNS server unikernel that stores zone files in a remote git repository

dnsvizor
A DNS resolver and DHCP server MirageOS unikernel

hello
The famous hello world unikernel

mollymawk
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel

opam-mirror
An unikernel implementing an opam-repository and archive mirror

unipi
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)

caldav-le-monitoring
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

caldav-monitoring
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage, reports metrics to influx

dns-letsencrypt-monitoring
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

dns-primary-git-monitoring
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx

miragevpn-router
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx

retreat
The unikernel serving https://retreat.mirageos.org with metrics reported to influx

unipi-monitoring
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