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:79459c754993816980be8441eec6c6d2a6267b163b1ceb7f22681e980c040140
SHA256:a2472c96628923c153af17a3d53618f102ff8c6e5ec8d048498720f805f44763
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:4e40f8431dbd91aa0de33650322f281a26d6bef91a530b7d9b7fdd0f37e6e0dc
Unix command line DNS utilities
SHA256:5173e4e6fa2c67ec009de57ce492832bacc756824a9c09ec9ce51f93ed48bfc2
SHA256:ef93988a03bb5b657b0fb6ae78d5276f4a48973070fc76fa5e57d39a54a80b37
SHA256:0e05170b23f1824c9cf91744c8e3294ffd2f43806f517182c735d67d2993ec25
Dissect OCaml compiled programs, and weight their content
SHA256:998a39a74a3a836234a63fbce2e51abafb02db56afa8a6f5ce63e0057f657297
SHA256:1a11b136793460d67408e631089dd7e23e2af01bcacd3f848630a76f6a45a92d
SHA256:93c8ba5ca00dd254eecc53cc3226b5042433c9bb4ea23684cba9edcf134da0e7
Graphing dependencies of opam packages
SHA256:4fe93336714f696d79d08fd0c3ae3a844fcd5076ffa7f0380a63d5f13d472f60
SHA256:bbad4b4142bbc20eaaccd4d02f8c7df912c8c62b552c56dc00c0c84bf6f2d4c2
SHA256:83e63cd87035165f64b3e141903b07b2128888e78571b9645042e5dfc151908c
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