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:256c94dc63fa93c88355384239779738d66be418a6166f8f59430964e17b6b04
SHA256:e8ea38bde01cfaa3588a5588b8957b9d0453c4272b9f8edecd047bb84c615a8e
SHA256:cb600d66cf6f42b00f3b737daedc0581324fb017b6c78fc000a5b87cea3ddeed
Scheduling and executing shell jobs
SHA256:33093c9558894d6520b6298bcaa94791250a7f2996f7797542035f24270d51cf
SHA256:90b74f5246b510a723f8aad19c2c0780b71242c2c673ab4ccbe9ef3e16e4c2bb
Web interface for builder
SHA256:1fb5228aeb038711b17ee4b618832b98493a2911d1fa03da8329ce2c61a85266
SHA256:680a82aea92bc7de20fab6e6931713e76fde98bea0e589419396d16cbefc87ed
SHA256:314555f07b8f74e61907b3c157778d24d84de0ff8de1f7f1e015276b177ddcda
Unix command line DNS utilities
SHA256:008ad138a854752702b4dce02420e2bd2a4097539190ca994402cb2c6303d417
SHA256:2dd0ca03dfa8737b90c56d05133657c5a2a58b5f67c81fc9b0ee9b6547368e1a
SHA256:4ca1293695caa7c76992cf38aa75508e7334edcd6bdce30beeee1d3b2577762f
Dissect OCaml compiled programs, and weight their content
SHA256:3b6c952512e4f8b71d7efea173a839fcc1143982cc6f9fbf949fac7a36f99c4a
SHA256:d671fd7ee5a4cc752456e1c093b906e7edc72a038e7b8ac07bdcf8204f68ebec
SHA256:833eb546a0cd13bdebdafc13dfe62f33afa7b075a25df57d02036ad901c2d741
Graphing dependencies of opam packages
SHA256:f295a262ca2395ca9a9155a61b98be184e1bc62eb042a5c49071f2dd29cb5506
SHA256:28c1f8e312ed6df8848c395c0e60570e30a33fc1f115e0f731891faf69f092b4
SHA256:184822c63a8c240e5cda0fa975491a6b04be0d8cc6db1a548314ade3081cc4da
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:4a715af96b43013b45c84336416e090c702172cad4d443fb33b2ca5c4724da7c
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:fcfae403bdefe4286d553c08ac7925909b4ea5e8f0bb0da9e334028f97df5251
A secondary DNS server as unikernel
SHA256:8beac05779a45aebedcaa4cb511045c5e2929b07009dfa3b198b664e03b5f2ce
A DNS stub resolver
SHA256:86501ba9360706e31d1e1aae04604e9960924e7bd440d4b3d0dfe1c2d798bc4b
A DNS resolver and DHCP server MirageOS unikernel
SHA256:316a8c642a1f45b46634451b5eb5b0d93a363c082740195a902f54866883d76d
The famous hello world unikernel
SHA256:ded2a8173a8fc18f55c883b30af8ebdb063a8fbc8ceb1a1266e4850ef194d9e3
An OpenVPN-compatible server unikernel.
SHA256:ce3c46f991e6ec4148f0b21b9b98f42c4ada90323b636308bd915f2a064572bd
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:03faa4c7ed7cd0364d33be27ba04af07d0bcc59e51899e6c7444feb0d2ce459e
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:77b2e05bc9a3f4ba2d414e7aee4be1662a2b4971c981312ea2004d0fb5096123
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:df5ab6c87f4d6acbddfb7b147fd7db6df4159fd8aebd73ae31df14233251d300
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:3d6d717815bfc13374837b74e3239da6d1b74e0516a1191c8d203e9b62e7acd6
A secondary DNS server as unikernel which reports metrics to influx
SHA256:eaac907bc07b055e753a6fb79242d5f7f8593fae34ab510f0bc409f851b314c2
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:8f691d2d96cdfe40f28859491964efbf95b52389cd754acc367079f0582524e1
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:6f56c9c04a9dd2838de0e3231b6b549c24f498bff88d39f246d5a786a4c38caa
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:4dfb9a2c235595b917cc6c203bb0e7315f010ff205a07f92f08430f58d41df4c
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