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:33dadb8bac727e82fb9e9da9650f0045ace9e9e6f1e6d76493d7b9c79d87d7cc
SHA256:3c77383151327961c3dc0c27837f8eecc1cfd4ff35e96e5204982669492eda0d
SHA256:758cb435562cc51b4bc51484dc57ee6b63f6a1f45038d2ec21caeeae6b6c9535
SHA256:e1aca8ee6a03e23b7a6baf273323cd52042f22694c087552011f012820d77cc6
OCI runtime for Solo5 unikernels
Scheduling and executing shell jobs
SHA256:3fdfda631454cb1383e69e4a6af8b8ef9a52ba4ae6f69534130413fd2f4cf91f
SHA256:1a31f395cc9b3cd3ea89fdafc6f3746b2c35fc6a457e32210a28a34c7e2b5838
SHA256:b92c163ec87cd2c7cd2481b89bf3e377f44d24be215d62412474221c6785a747
Web interface for builder
SHA256:2147f97e773d6b6f1faaee9c29647fdccdba4a7dfb945a6e17c8055f1a34582e
SHA256:6ddb10be03244917621b7ab6147153e27bad81fcf3ac66ce2f0fd81956c18a2e
SHA256:309cd7c9bcbde57c0b2292f14bbe7e738981314053b628783f2570499dbc8281
SHA256:904d2e643f6f1009f95037d289228c41970c0a5acf1d234972b8a7519c2dee66
Unix command line DNS utilities
SHA256:b002ea91f088d0f52c3fe5eb2e7a1797a1de74087c4071f1b3159e73429df245
SHA256:357b84fb98228ca6058addb5c8a1484189544551be677f1f89e7eef7ade84eb7
SHA256:e97aaa2bcc924a6ce07460f439d50c76850dfb897ae9eb1aa100d9fc76324a49
SHA256:a15f9ed489d7a78c40ff040869d0043249856325fad88f097158ca82b6c23196
Dissect OCaml compiled programs, and weight their content
SHA256:998a39a74a3a836234a63fbce2e51abafb02db56afa8a6f5ce63e0057f657297
SHA256:1a11b136793460d67408e631089dd7e23e2af01bcacd3f848630a76f6a45a92d
SHA256:bd23a433c0035e7f7e3a31086607552c5ccd9c5d12baf59a4904ad27c2c86e20
SHA256:93c8ba5ca00dd254eecc53cc3226b5042433c9bb4ea23684cba9edcf134da0e7
Graphing dependencies of opam packages
SHA256:f7faae969e9c192d1ab833504ab3aa1fab7b32adce47c0c1fbaf358e2a6d47c9
SHA256:16b894f7ef74cfc66fb4aa7a1043ada4e7cffdcb1f3a03f8203b5c2a432ff520
SHA256:51e79751ef1de26649f1f1c31ec9d00e8b10c7251384d85768dd1c8772e25e7b
SHA256:b2fa4b808d8961c822744cd596d3e22b652ff9a2397865c2dcca03fbd8187de7
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:f9c9abcf61a250406f42f14c5f1c1bf765cb0b2497e5ba1d1ac382394e81589c
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:b8134e0b2afc786eb4786dfe5d140b45d9c0319d7b805aa525c21b783f53679c
SHA256:d7743be8e8327dfe6f018188436b653462700616f96b1738e488924518a646af
A secondary DNS server as unikernel
SHA256:51781122ff170e023207b2bbc31c4a8bf5049489a0c8f7efe02ca26d9628143e
SHA256:a5c5076d131b4b52281e5691ac9dacf42b5e897d3b9153858401a323ab934f50
A DNS stub resolver
SHA256:1df8d77b9fb8e69189e42d475848ea4411a1986cbdf742c1345b7a79ea6bfd9d
SHA256:1bd36444d7dc5ac6afa192ccca0ef6b881cdc5767910e53ee42d247c4580785e
A DNS resolver and DHCP server MirageOS unikernel
SHA256:e1f0a0cd14f8da954e58bb28447b6745a2bfff80bf58e64ea5a5b3dc992bed0e
SHA256:5d090c60e88aab631274653f26c7cdffa323032f3cabcfb14280fe8204c237b1
The famous hello world unikernel
SHA256:4db50da2ffb311d3fb245f6129dc2c20dc1f7d66b7cc425bf9d84379979c8773
SHA256:1c92a0e2b380b1b50b8d258898c68e95f07c68f16a4b681e47cf53da7bf34a34
An OpenVPN-compatible server unikernel.
SHA256:2974552c6653ff53c8b91700233fde17e8d03ebf025cb4661c12f29123381f2f
SHA256:2e9d9292ae13753256f4899e32496434925c87e37aea05ae67fcb41ed20e4558
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:db37b8d1004811e2a6d042f19d8beef0ad530b008e6b28fbc57271ec64c62723
SHA256:46c94a67b10e318eded10635b66cc557dae593b113862e22988b5fd61ce7e7b4
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:453feef448e9ddf069c8441d171c9d21a9484052bcf9b8d985ec6309a1a132ee
SHA256:948eaa23f393dd656b7ec9917ea422db2b77b276f5cca0a50c9c3e5dbf2c076c
A unikernel executing a traceroute
SHA256:a5d23d2bbac296fb4f4d9d5ed5e4e5eadbdf9966852875c8a099269a273a19a3
SHA256:89356cdb4b6cc53c9210f7ac13a485ccfe397ee464019cd5c2ec1c78b4dfdecc
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:54263fd3baee2fe9ecd37d1908462d289f5672b1f3484d26ca38dab6e6e11184
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:d9c40c88e286c44c31197b41b12f7d3a95f1d7a13a011e553efba2c9eb9b6a5d
SHA256:1aa131037c3cd08773172e310c73af876e40cd51bc6e193559dbaa1feafb5e32
A secondary DNS server as unikernel which reports metrics to influx
SHA256:420881255cbfe2f992d50ad5568d9442b543ff90ed48a7eab148db2e87d70051
SHA256:b0af939e955cade08224afbd372f64a66f182e6cca4254b010f02c0e2c6e6a3f
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:2c12c43a79a389e57e128610c7b666e2f3012a88274d5689eb862e0843d4ba0c
SHA256:cf41100274279d9d61a046e4756c62c3db90e08a4071888ea150f9f2e3972104
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:22eef3cff44ef18ad4285995ce5eaab4ab2e78923a209f9b1975eca0eceb4cfa
SHA256:83bda2859fe51b7fdc7de5c508d3258a12f13910040c2ddd88b6d0df76341e87
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:ef46ce68142b4923553c0ec5545cfb1ee9c5a61d3e375eec81dac32e38661b2f
SHA256:0edfd46c0bb95b79ca862bc7d93c846d9ce9cdde6d7521f7781f5d48d0f134fb
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