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:89e0e915b0432ad569139c16be127c6b93d19990bcc722ffa0366a97359740d9
SHA256:567e28c4962e9b364cea11e12ed5e7f397a01a3ee21a3017956724abff4f2feb
SHA256:22a25f0f1b681b4537d9ef07e9b544844a2d977738b40eca9bebd1bc30c4f5f8
OCI runtime for Solo5 unikernels
A boringly simpleconfiguration format
Scheduling and executing shell jobs
SHA256:7c12c6e70fa8d78a11ae2571c339a7941d22ba6cf4eed63d9cdd5dbb9c105f37
SHA256:4b2c26a21d04344a41105451f4cba96752aa22d83785b9f7888b6f6e772fc7a9
SHA256:b602e7a51f8a9164fa214cde1409e078737c1a60928ca71f12866411f6d06550
Web interface for builder
SHA256:ac8e6255cdc958901c4d62157e1b9600095a0ddaa2891d58bbf9d8356e140467
SHA256:24ff69efef766e1506a3a73b0e8424611cae0043109b476e9267086b24a7d6b1
SHA256:3c1c43d3c344ef5099ccefdc369e997eecdfd13bba4ce0b60cfa538e3f60b9f4
Unix command line DNS utilities
SHA256:690619c70d5930dcc290f1cc291aec1d405b0ada6b9d83efb69d143e372b7282
SHA256:5e34d703ba67c94c486d399efe2c5358c9434dcabb298a5f066c9654c0b39833
Dissect OCaml compiled programs, and weight their content
SHA256:b54ce8ddedb4ac3ef16d37c4807f8a3cafaa88ab431b9282c98f7a83b15c7201
SHA256:bc6a93288467f9a7ab9b7687bc15f96a5801305a092ea5b527c5fc200a51475f
SHA256:760e9d418d8c52e5d916c4c06b11ed671a2fb4afd862e357c092d18daec5f921
Graphing dependencies of opam packages
SHA256:37015f235c8a91a9077b9875f5f38ec9ddad92ef972115e4be7778ee4761375c
SHA256:114361d692c3323086950435f0a91812bf1162fa3ec8c824fd94da64b89fe501
SHA256:5d642be441cf013994926dfb795652319351a1444333b686dd0baae27f4aef47
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:f4ce06c6183385bff225d8da92982908c302ad21eb01f1238ee03d67edb63fac
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:a82c18d8efdc0f1eb362fc89bf871e2f2747b972762ca009f17b081fe0a90b41
A secondary DNS server as unikernel
SHA256:115681e302575e42f69fc47aeac1ec92cc2026cf5a532c08ade2206b9355c668
A DNS stub resolver
SHA256:339a9de5c8dee3b32a5be6930a8de62d0fe5f0fad3c4eae354bccecde2cd2d42
A DNS resolver and DHCP server MirageOS unikernel
SHA256:377094f24eccfe2d1ea10dc40d8dbbb776ecc49953dea2a4bb3b38d6374d1601
A really simple unikernel with mkernel/unic/mfetch
An OpenVPN-compatible server unikernel.
SHA256:00b81f799ff914209c842b62231838e927a7be9e6cc208487fe93d01d9508b36
A DNS secondary unikernel with monitoring and mkernel
SHA256:80d583d002fae06fe9b76de19f7b5c21a0f7ea789f62ca6dadd74abefa442b07
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:6294b4497cd5532f25898d70cfd925677bd69d78532b129968cb930c4f0d1049
A unikernel executing a traceroute
SHA256:73e062c7bfe57c316ef873fb9576a9afc38fe98f34123386db680e910398205f
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:25a936d447f707da98f9290e429c0845f830371bc21671144c6c42eb00c03b46
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:8391f8f8484af0b1062f71ce2c7f2434b1bf4db93113070ca14d5a312f086f70
A secondary DNS server as unikernel which reports metrics to influx
SHA256:aeb2d08233a43be68d05ee976c356c55b94adc99c7c21c2b769ba8f658c69130
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:d548020c837f909ddf85fca37dd8b4e3e0658aa87e410b3a453aa12cdf8eb019
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:502b431131b6615270bb38b7d077321069bbe9f9094ac7ae5dbdb8b016f30981
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:0fb436612297f5a3e11a55de8c0920ea8aecf4258ea1be0667953ae969562da9
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:bb82e94a198650837cc3f61c47e43c5a0f2a0e6eacf32e5bfbc6e3fe78288a72
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