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:238cc23e2778aa5649ccddeabaaf444faacbaf8afba77af974958776488c3282
SHA256:90a90e79f5c25ad3d97ef1e8116e76183b5f59f15f20bafae5d19520434a6f6f
SHA256:9da51b0c634260bd5423808eb310c630a1456a41f9d3a54a4eeabddd32bbe88f
SHA256:79213df5ddef9fbadd052d7b9b4f70e6acbfc5c06271be182e477fbd11876111
Scheduling and executing shell jobs
SHA256:89fc2a340af4a80a558e5d561ceb2b7e858cd5a6bc4fd24a52a3cd30e3dc991a
SHA256:d9387bb61ad1bac3b1c51d2e48df8592bc54cfb6943548a912266c39f48d9f7e
SHA256:cc9fa48fc5f21afe544176e39115e5e548be14b2d452c95ffac503574c3d9a94
SHA256:a99865c97d4e77a376fc9a992782b79d49868e0b020f33892add843f2129c659
Web interface for builder
SHA256:67a00d53403a4f23afb270cb98e6bda6d8fd0f9f4e90fe7ec0fc2718b8e26098
SHA256:3113e60c7a49bd196b35ace0b0b632ddc7b4ee134263c8735198c36931c2c218
SHA256:4a450f3a58d890109504d7cd869df7af65eec5001884b5ecb533fd744dab8bf5
Dissect OCaml compiled programs, and weight their content
SHA256:08d16d35322f35b5166667d472c7888b385e763df78c5cf5a29103a51f741425
SHA256:da21da0d9f8c16dc00679511ff032eaa3705e28065ec982be6a9808b6a374a15
SHA256:3210f3c37ecc566b6b96442465a2973c34777c2659d0ab7811ee1c88b27761c5
Graphing dependencies of opam packages
SHA256:64aaf5e13564fd5bd7d2350f9544e90e7ba93d514631a590ef1ac5a7c8cfee2d
SHA256:dcfaf0bce9ee84e666567b158c9c35ede76cafc54e6482542c2262e39e2a6b89
SHA256:2072c680c377716624f48a896763c44e36da57ac07c62b794aaf4ec3ae64c8af
Check opam package reproducibility
Solo5 sandboxed execution environment
Unikernels
A CalDAV unikernel (RFC 4791) using a remote git repository for data storage
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:06a0bda33b122b408da2dea5f86c8f8f23349c23877502f388100cbb951ab2fa
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:0e9c783ee6776d6662b707e395af3e05ef58cc37c9184dc9de01a5d87e00b80f
A secondary DNS server as unikernel
SHA256:e6d41dfcc81c5aa7b199e9299acc32823e8dc34464812d6e11361b22fefba461
A DNS stub resolver
SHA256:c9b6aa55e0657d9aac511665762b5bdd7e1e5c43014aee5e5154fcb652540ef4
A DNS resolver and DHCP server MirageOS unikernel
SHA256:47fa2476b399ae935d96a27fb1bbe28f83d055dd1fffcccdc92d94a826cbed61
The famous hello world unikernel
SHA256:184d9ff551c49e0fd34c1f79fc65b1a859558a66c1860662b86348365ae34bf3
An OpenVPN-compatible unikernel for QubesOS
SHA256:56ab42349954156b5c0185dd847385001214d1a2b77f4ec990ca5cdd204ccd49
SHA256:26e77a9e1fd44d93851469eb2e19372b7b17ca319ef11bbb81935e74eb918ba4
An OpenVPN-compatible server unikernel.
SHA256:3fa0e4ed44de849a1111e90b02868f62f25ae406f832e97dd853202d003f5c45
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:61b7b9adc46f3031d886c564946ae81b9aca85daeeb2cac2a56566b660ac107a
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:17e6f7a39a6f86be3d70feda924ba59385f1b5440fd8e88fb140182b24fb989c
A unikernel executing a traceroute
SHA256:d7a03f17ce476682ac6a0b439a6901e9073ca58fdd0d353cca66389b70aabf89
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:3d9b89a4c3e33f5bf8830d2859259ddcfb77fe9cc587a7719cc2c4a0c509f69c
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:971dcb0b814adf0f4c482de4415842ab8257e99dd961086675ca36647547d7c3
A secondary DNS server as unikernel which reports metrics to influx
SHA256:cba43381fd0292bbe3d63a150d589279877539963f77d3f8e9bdf6243cdb8131
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:e50053d151ae07d513cee6e7a699889571bae066ef538c7465692c62084b9561
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:c1989e0e5ee6fd0d9c4f2a924a28fa89c04f1e2da56a63a2c91b3077d10c6b23
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:bb486d916155208649b528bc5b2a57e9aae224f96f9d0f9c9d08ef46ae7dd58e
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