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:929712d12f86e0bb8bfd0d67f1895ead1507012e4fcb584a44fe01f55b7a7e3b
SHA256:99420248f600866f7fd98212a35ec8a4e0c215521617d540df5ce898da7ffad9
SHA256:7530c114ea9ed57c2aae4e083a58009b36f786c9bcc12ec63ef1da75b42c9c50
OCI runtime for Solo5 unikernels
Scheduling and executing shell jobs
SHA256:f42bfed646df3bf33f564d53fa16811d6750d192dffaf5edd2b77b8ee2933ba5
SHA256:c422d759d0b245352d03d685098576a804172bde67f418a5e2213371fd8962ac
SHA256:e0646dadb85d150aea537d3aa263fc738889003f978f1374e2da2a4cfd521f89
Web interface for builder
SHA256:a26ef17e4ce9cfb88ce30e4da02b9843e77062895f5018b0b1049e5291797c5f
SHA256:ccd80d13aa018487085083f63d7367ed77373669b4c78cf83827aaca0aae477e
SHA256:4748db64d7a8d67d2ed85e3ab682fb364dbdee22515da98baf6dd9eb17818efd
Unix command line DNS utilities
SHA256:84d275b9f6088b026cd35be5192d791c1e70902f4eaf08095e9a192222297370
SHA256:5231e91e73e116d3e395967e74cf04a32f47a6ffe4b08c5e8a227736ea2288b6
SHA256:71a385dd7900a918a10c4c3216ac9c708b93f5600d3026dc4fad1b5bd3d6f6dd
Dissect OCaml compiled programs, and weight their content
SHA256:998a39a74a3a836234a63fbce2e51abafb02db56afa8a6f5ce63e0057f657297
SHA256:1a11b136793460d67408e631089dd7e23e2af01bcacd3f848630a76f6a45a92d
SHA256:93c8ba5ca00dd254eecc53cc3226b5042433c9bb4ea23684cba9edcf134da0e7
Graphing dependencies of opam packages
SHA256:4fe93336714f696d79d08fd0c3ae3a844fcd5076ffa7f0380a63d5f13d472f60
SHA256:bbad4b4142bbc20eaaccd4d02f8c7df912c8c62b552c56dc00c0c84bf6f2d4c2
SHA256:43b104a42b8ac8c05b53decb24ff72a93fa9370f7afdad02a6f2258ec850b23b
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:e13a9174fd1f2c9fda17938ce7cd947ba55832f2abb2e4da641a8acf4bc3c672
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:5af5bf7f2759b820f626503fbdcec8a3c9e1cd86a255b63f6607e5932ec18ae6
A secondary DNS server as unikernel
SHA256:1863afad838261aea24abbd719cc3f82b9d95fabec846b8de8eec5b8ab9279e4
A DNS stub resolver
SHA256:64c7b285b895dba5994f3989250bc25a41234226f7478c45b591da91312c0810
A DNS resolver and DHCP server MirageOS unikernel
SHA256:3b424dcd4f74117aa42af67a8954beebb70b790b9644fb7b52ff4f16a3c0422e
The famous hello world unikernel
SHA256:4339914578805293ee87008865ee4b50d57f41713a75b7ef2c7de02c37907569
An OpenVPN-compatible server unikernel.
SHA256:25eb1874fd3f3fc1476808ffbb423ca1220ee65459ac66eb700067931156e9f0
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:0af43cf36d63ebaef5b18d069123fad3d70a821c14700042faa0cc02f6dfc9e4
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:8a4b36df7079be4aa1db51e5bb770996248d50b2bbc69ba6ccefed2ec5209fbe
A unikernel executing a traceroute
SHA256:fcdf9198096633740f81eb4e4feb7de60a54f9d9a3ef38d727d6ee5c7a2e45ca
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:8a5ee4d3730aad996326337a9d8257f821934ab4b07b75f1b860779ecbbd92ad
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:642585fdbadfb2b7828283c309bfe005f5f45b9a7fa48e0fc546883c973a5f63
A secondary DNS server as unikernel which reports metrics to influx
SHA256:9d56780bda84c7c47b9a6f1f49b936288d6061ae4f1cf7729ebb5c39df89501a
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:2836e91a85903d7bf8ee8ffea1a47d49d33f7c9d06bfdea447a5658a882e94a7
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:667bc455ac85ba41c86cc9b296818c44ca8364ac41993b717e9c683cef2df5dc
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:747fcf8b95b877b124296cdab1284136a24b7ec47eeab8b8b391713390a4e652
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