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:2d987854c642b5de6add3e1a8bee6591592b2a5edb8202135eb8930cdb27e9fb
SHA256:46062050c0ed1ef356fe5bcc3b16ce2e595035fdb7b65897043d26c0020137e0
SHA256:758cb435562cc51b4bc51484dc57ee6b63f6a1f45038d2ec21caeeae6b6c9535
SHA256:5c9d1f60e53984dce280f05fbb846b8ad6445a39d0c06b7e983c26712154e22b
Scheduling and executing shell jobs
SHA256:d70bfc0bce91e391d5da57303c950c3adae1445cf716dbce2c0f229a8f209da7
SHA256:6c5fc97d1c0cbbbdfce2e2fd33440f7568a31fd1c24602ec672c9ba8f32e69c6
SHA256:1a31f395cc9b3cd3ea89fdafc6f3746b2c35fc6a457e32210a28a34c7e2b5838
SHA256:b92c163ec87cd2c7cd2481b89bf3e377f44d24be215d62412474221c6785a747
Web interface for builder
SHA256:3284364826d1c15d732c8781d30f5bfa94f39ae746a022449552c5766236417a
SHA256:7d7b98a7844b57b24c5dba60d4c314aa0f5cb49e1022d9bc5a39d1df3720a5ab
SHA256:309cd7c9bcbde57c0b2292f14bbe7e738981314053b628783f2570499dbc8281
SHA256:88e6890ca837f7b277bf551f8176dde1a4a127766ffe38abf7be3543a0b19950
Unix command line DNS utilities
SHA256:008ad138a854752702b4dce02420e2bd2a4097539190ca994402cb2c6303d417
SHA256:2dd0ca03dfa8737b90c56d05133657c5a2a58b5f67c81fc9b0ee9b6547368e1a
SHA256:e97aaa2bcc924a6ce07460f439d50c76850dfb897ae9eb1aa100d9fc76324a49
SHA256:a15f9ed489d7a78c40ff040869d0043249856325fad88f097158ca82b6c23196
Dissect OCaml compiled programs, and weight their content
SHA256:ef20d97be17d09301da36d6f7bc1133a93745201efdc22b0ef581bc5159a6ff6
SHA256:527076a88838dda12659897ce61744254b17785107ebfd62e8ebe344f87ef014
SHA256:bd23a433c0035e7f7e3a31086607552c5ccd9c5d12baf59a4904ad27c2c86e20
SHA256:31f4ae2bf8e6262ec5c27a69f6e8c50ddbfb699044878c916d5f1c2ec3029534
Graphing dependencies of opam packages
SHA256:5171cfcb604ae11a4c12f1fcb1feddd1775722754e140c38fa15a6781e23f51a
SHA256:9b77e16cdf7c5b273f208b4e6ca1bc1ce6427c0b8ec4daa660b619ba9a2fa812
SHA256:51e79751ef1de26649f1f1c31ec9d00e8b10c7251384d85768dd1c8772e25e7b
SHA256:c84ee361373a813d1904e597a38361d4f0680e0376ba4578ae177b698502bb6f
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:0272abe55f1edc19d641156384497c74687226da0525108fae967c16f29e41ed
SHA256:7dfb89da346fc89d90e264351836c120b5fb1364a35f50d43200d793f351b617
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:b8134e0b2afc786eb4786dfe5d140b45d9c0319d7b805aa525c21b783f53679c
SHA256:5f56e355fd2b4df0b6f1ddc81d9c33e20219344cedd91b936ccb08a754f08827
A secondary DNS server as unikernel
SHA256:51781122ff170e023207b2bbc31c4a8bf5049489a0c8f7efe02ca26d9628143e
SHA256:609fc431e760b0dd17fbaa23329ad561f0b7d3e8541b6d4e3489ec1f03d65464
A DNS stub resolver
SHA256:1df8d77b9fb8e69189e42d475848ea4411a1986cbdf742c1345b7a79ea6bfd9d
SHA256:2a549f93838b610aa3440b3eb663846b14152722ceb12e8b835e213bc391642e
A DNS resolver and DHCP server MirageOS unikernel
SHA256:e1f0a0cd14f8da954e58bb28447b6745a2bfff80bf58e64ea5a5b3dc992bed0e
SHA256:75e04f851af3acc5eb397fe042f1666b817a1e0ab073fca320325a3ad9cca0a0
The famous hello world unikernel
SHA256:4db50da2ffb311d3fb245f6129dc2c20dc1f7d66b7cc425bf9d84379979c8773
SHA256:9176235ea22d5349dc920fb5cf4a2ae84195f850953ffd12de3ec6f2abd5118c
An OpenVPN-compatible server unikernel.
SHA256:2974552c6653ff53c8b91700233fde17e8d03ebf025cb4661c12f29123381f2f
SHA256:fd195c5ab8975288ed85708fe5f29b242eabc8cd23391041088e26fbf2a5af73
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:db37b8d1004811e2a6d042f19d8beef0ad530b008e6b28fbc57271ec64c62723
SHA256:fcd70dce61207ef5948004d158ccd6f0b0f3d697fe1c117347e382ae02f15425
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:453feef448e9ddf069c8441d171c9d21a9484052bcf9b8d985ec6309a1a132ee
SHA256:4211c78c6bd96e1493c24878906034632d64b7bd6fc6b1d665ce262ec1716ee1
A unikernel executing a traceroute
SHA256:a5d23d2bbac296fb4f4d9d5ed5e4e5eadbdf9966852875c8a099269a273a19a3
SHA256:b5e866c366f3a8fd44f5bc3fae80687b2c5c6ae386cf8046cf9cff5dd1ee2009
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:2014be9f7bb18e7c1089408298058c8a837a20b1d90076f89cc87f9ff305769b
SHA256:25b0132398317915d8b3c50e2fdfdea1719bf5bd421194108b0fa4e66483306a
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:d9c40c88e286c44c31197b41b12f7d3a95f1d7a13a011e553efba2c9eb9b6a5d
SHA256:85e91a3b61631e65dac564c3d75fbb5839a11422cf77c4afe0ba133f32879db9
A secondary DNS server as unikernel which reports metrics to influx
SHA256:420881255cbfe2f992d50ad5568d9442b543ff90ed48a7eab148db2e87d70051
SHA256:054d32994e08baa28ade543eb2cf53c6272b3d825ddc8032e44cbfa3ba700444
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:2c12c43a79a389e57e128610c7b666e2f3012a88274d5689eb862e0843d4ba0c
SHA256:2eb91c1fd1f93f5281f6c7ecc9c8fdbae1983826ef2601e5111a414a21875e34
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:22eef3cff44ef18ad4285995ce5eaab4ab2e78923a209f9b1975eca0eceb4cfa
SHA256:6e047af54a21f280bb3f8a71c32c6d89b6332cae7380c35ddb83e871ed1b6ddb
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:ef46ce68142b4923553c0ec5545cfb1ee9c5a61d3e375eec81dac32e38661b2f
SHA256:a0d3d93e29bfb1f51fae01068e6a64c330714822add40729a94ba412612dfc7b
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