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:c13e39c59226f41b8dd2bf5244a680e746876fca2d3ce985bf8fc271fb2b3f9f
SHA256:13df9a1964aaf248e9f4c470f7d8657fcc1f4c7610c76ae300d9b25552b943af
SHA256:673add228f4d55cbce9a4d341dc2f612fc8a45bbcf4583019cecaf4bb56279f6
Scheduling and executing shell jobs
SHA256:dbdd0a44f9f39a191418448bd9edc3bafbcbcefc2ee144ff0391e7111baf624c
SHA256:158a0d98d8b0cf52758aa43dde3638116c15a32b6cd15ffaf0275291761fb9bc
SHA256:7cdf4635057b1008267d26e0d55d6b6a66aecdc2865ae02c7ac6d6bebc017245
Web interface for builder
SHA256:2b2f549660f75c416256e0cb251075a903098df0ae18e38312befb13d7dad938
SHA256:471311b4dd0962ed4cafef8d14e9c932e95e5e38d7cfccfd33d8e27bf7db7f27
SHA256:24c6145e38533c9e3343dc5389cbeb5280b881b6d00ce193718b854179d6be0e
Unix command line DNS utilities
SHA256:fc90da501a23a03aabacf98bd6ba461b524a163102dd1ab4ec41a02ce17ad0ea
SHA256:8a180c83649a53ba39efc6b7faaeaa498b1eab57b0ee414ecc20a24b50f41859
SHA256:7c789a5ee1836ba8e5d2b1c438b2d7140ca858fcf755bbd2bee20f4c5a9ac40b
Dissect OCaml compiled programs, and weight their content
SHA256:15be9f42d238073b9a7c45191f414b43d4d63b277cbbbbf10b950117e323655a
SHA256:d2aa789fae9611d2437f8bbb48d5efe22026d0c2a597608255e27465997c15c1
SHA256:833eb546a0cd13bdebdafc13dfe62f33afa7b075a25df57d02036ad901c2d741
Graphing dependencies of opam packages
SHA256:b23991347aa5f83182d08e3ba5b203789d6299b09e3405e361c2023c8af77164
SHA256:a3965ba6e67a81bc68e5ab312a9ca5f88a5334010ad831e33e77cd7e2ad3461d
SHA256:77eacb301706472438ff22516ed8c7ced277d0533a6f987bc8cf15a68dc42559
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:2237349fa50c9c67f67172d7c4a62ccc09266cf148ebc2ac0a537a5ce7dd427f
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:03037a600d1716c6c402519726d3f12ed978d84e7ead214369b6c673ff63ea89
A secondary DNS server as unikernel
SHA256:c4250591216db10632b836d5d86ee3269a622616ab2f86ac0a4bcada0d1af383
A DNS stub resolver
SHA256:5d1b3812c600946f503cc5a952e0edf95609a1315b93384514cae136daef3702
A DNS resolver and DHCP server MirageOS unikernel
SHA256:8dfa8375fd64bf144324ed237db3858c38f5f3b131ba2447ff1838f3a4052d16
The famous hello world unikernel
SHA256:55a7b5bf43dc7e8e1459e7fb6c402d2b178eb0e61c63066e0821af70c6db919f
An OpenVPN-compatible server unikernel.
SHA256:d32245124a3a5e4da728b828bb79ec6cf5e7d52bec083aedfbf419a9fbfe9466
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:5ed746eab00df3d9711718148c328ebcd754b0ff2943e3648b8efa1954e2f4d6
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:cfb23cb4b60396fea2b27b2089103be336ab5e094856ef57b709e9a91898f4fc
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:68a8dc22d58e2cf1928a6c7de7c5bbf699968d71d5f32459164f294b1d68890b
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:e628ad238fcff27d0ace56a6d39d67f5496b2f5e69493d5f7fd56e3251b5907a
A secondary DNS server as unikernel which reports metrics to influx
SHA256:04914ccb06f4f7b44851c5b284645060638ad973441c050259812dca45e3a76b
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:96ee2c4cd2a2914418e97a450f3cfce656145c4061100b85dda00af028c77750
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:8d7e76d334bbe153bc46081a68a42399c2fea1cae623c22119adec392bd5e40d
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:c1b188f16a904c8599d7b8e559a19fd79f2ba26adced9aa8776b924485a9922d
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