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:7068e93bdfed2a18dd3d77a6042fbe9ff056c4e101662c1703f040006b1fe96e
SHA256:8efa792f99fa5a17acbcacc893ab275545f8ea431769813c9f1e44de312f4422
SHA256:6eb4288239db57ffc5daabdf035906c693ea340971923ce324cca75ea9910a02
OCI runtime for Solo5 unikernels
A boringly simpleconfiguration format
Scheduling and executing shell jobs
SHA256:ab28cda521f1bd50c247b803b36b9ab7a44219c0dffc715b64c92e4ad07a4b51
SHA256:aabf6dabca470065d3010cf3db1bfccdc86c7af6c307a347f3f60e69db7c79fa
SHA256:3ad2cce6c3cc39b2a631da7cde025c8daeb312d0d637ae1b8219d160ffad4a73
Web interface for builder
SHA256:f829bff56810c259421ce2d27d0b9b5c8786f27c034212843e190ad6b1391338
SHA256:d33541f7ed1a0b1870e0969dbd07d029a552e60689ce84b725ba9888943cef10
SHA256:17b17790f8dab6d023e9a2302618233b3b0e2e1388efb8b83764d16402c04b98
Unix command line DNS utilities
SHA256:d3c5b95f2fe2527254cc59fabafbaed8b58c06387548be628cd5ef938f8c085f
SHA256:0678d6811677b8d7e8135e7d3b5028f63573aa2b412d2d1bab2057910217b14a
SHA256:4a848a8a9e6caaf9822c808484c8f5433f33e3decc5800b5bd31f6cf50a8da3d
Dissect OCaml compiled programs, and weight their content
SHA256:c1b93ab8c6782b0bdb67e723a1698c23d2ced352682b471ed54bb8380db93af4
SHA256:3809c02666b9936b6c4fb441ed771d19976591a6f0e99dadb981b8af1f873f55
SHA256:59fdbfa4145828ed8cb29d4e6439e4a25f5be940e1681dc7049027a64214d1e9
Graphing dependencies of opam packages
SHA256:d81254ff8dcc190d1700010f17e8f83dd729aadc79a8585200482c3fcf37e243
SHA256:bac5482a545c23cb5af9c74d38d11bcc7651c75f62c5c20d55d8d128413008f4
SHA256:755fac7ab9a680dceffbd7f32371bdab76ba6eb7a0777e3fccb9dfece08de609
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:883677e0a560fc568d399d3c5c125428fb46037844495165d52ccb64848440ad
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:8c37fe2c9127778a5f1d99fc5f4be7ef5ba8def8ad2dac9bdd679dba690205c8
A secondary DNS server as unikernel
SHA256:f3278d04eee56ec3d9498ea05270763d6a1cc2e9d89d0d1864eadbee2c092236
A DNS stub resolver
SHA256:f5054fc7608ec1ed51c4fc51b82736ba1e2522422b65b96095008aca8394cf8b
A DNS resolver and DHCP server MirageOS unikernel
SHA256:3e186cfb7df50066e194f3dd1f396f1fd594b7e9cc0fa1a4a7c4a5ead893beec
A really simple unikernel with mkernel/unic/mfetch
An OpenVPN-compatible server unikernel.
SHA256:2ff010931cb99a6c62b1f7dd8267e6c7e880c8fdd2b87635a7e6356a64e3796d
A DNS secondary unikernel with monitoring and mkernel
SHA256:59992a20ecdf143b3ab3e618020bd567de5e05ee11c693a8adc47d7eea5b3f90
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:35dd366d31c540876141710219d66cc100e8ff07440a1acf71d6dd96efa12228
A unikernel executing a traceroute
SHA256:b57baf4e1f7640c07e9e1eb1a97a044c446fc93d2d29d36f8a0d7f617ac6c700
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:e67e288c1dc530295f970e643c2a50d97442e1ef6c7f3b40098cf9f71c485006
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:843204e9d08e6b21cfa495961b624f1f6f5a87878ef6e0c312141ec74f870326
A secondary DNS server as unikernel which reports metrics to influx
SHA256:e8ca6bd89c115ea9468e7440728570b23fc7c352e56addeb0696506f5529a93c
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:9d05fcb3ac819aa374a7434d18d90cd6fa3715133d1b78602770a2b16d50bc95
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:0aa606e120f9bb933dbe8b0be4827a31bbd86d7fd01d50062d03d8a8feece8ca
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:2d06704546ed982f74686ff0aea5c0850f72a97d39a4facc12d01c03ef46cc32
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:f79a180831aa5f7ea546ff64a1c3a3bbea52b69cae67f889cf4d4315817d9119
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