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, DragonFly BSD 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, OpenBSD VMM, or DragonFly BSD NVMM)
- .xen: Xen PVH virtual machine (on a Xen or QubesOS host)
Packages
Albatross - orchestrate and manage MirageOS unikernels with Solo5
SHA256:89ce8e2908e46a3a1fd2d2d8218e675a6c0eaa28d565038ab7aa8a4a75f08e74
SHA256:1168161300c342ef0a277d63cfeb4ff9536ed7a51a01313c9ab497f0216cf1d1
SHA256:4fd84c1301812b57e858e3f7c4f40572a56aac341ea995d457da9e61dd74ede6
OCI runtime for Solo5 unikernels
A boringly simpleconfiguration format
Scheduling and executing shell jobs
SHA256:ed890cfe2c184a2b814a41be1a9640d2d771d1b4c32282f19df54aed06250e3d
SHA256:145a46fe615e50ca9f9efb8ff2eee372ec93d4f1853b5257ebdaf61f0963fa33
SHA256:4a3898dce642f2fdb5ab7652d1f81ec08ea3e3cc3095af0fb45ee419aeb77356
Web interface for builder
SHA256:39a147405a7c53c0e16bfc6620740259479519160d449a23007cafbff4a317d3
SHA256:1c1707a6cae83c3e3e3ede8835b5783079b74273b635bd920e8ad65de4c60f45
SHA256:b38817afd4b35d2f9d7153283264fac918cfc98e885ce3cd51456fae8502fd82
Unix command line DNS utilities
SHA256:3d613c4812a1da1fd9c3c76a031f29a70d3fbdac5fdf2c5e498b153af9277e6c
SHA256:6ca856d2445cf501aad7d54e9e2ae0648ddcb8640509ca2ed3c214cb14e60f78
SHA256:dc880a9046498638662ece771434a8dc3e4f8ce79f890845d24c2ef681dd3988
Dissect OCaml compiled programs, and weight their content
SHA256:b5911cf0252862a66c7c4bdfd4546add95b0aeb94e6eea0870c51821ec4e2427
SHA256:6582409f44189ace190753478d812a0788284f244c88a4ba7df14e957e587ecc
SHA256:00ac6601611962d8b8d80b2f081e38674c9479769cdfc3c014e43dd7a7d4a490
Graphing dependencies of opam packages
SHA256:4fe93336714f696d79d08fd0c3ae3a844fcd5076ffa7f0380a63d5f13d472f60
SHA256:bbad4b4142bbc20eaaccd4d02f8c7df912c8c62b552c56dc00c0c84bf6f2d4c2
SHA256:148fd6ba0386a74cb926e96f07d46a538e8f96764f8d2ac97f906d0c583c4277
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:eace6477d4df4ebe1f47355e995ec130247e5451af7710d9e19b09278499af0a
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:60728e81496027640459c496e16cf8684dd15241322500f68ea412b7ebdf25cf
A secondary DNS server as unikernel
SHA256:131d120159ebb1ee06acedb55bbd01ff8e79d64f1577231cad850023c92e2eae
A DNS stub resolver
SHA256:fc6fbbe46cb95bed9098d283c3dbbe22079aa17c575b0e1c68f2c5df6f40045a
A DNS resolver and DHCP server MirageOS unikernel
SHA256:1f9fe7cde1c9b04a4f13d9b433dfc2e5233bb6c421b3c13b8354f4346dc79b50
The famous hello world unikernel
SHA256:5633813111946656d7dbf51a68dc0e3058a516e22a3a889d14f5981002fbfda5
An OpenVPN-compatible server unikernel.
SHA256:ea71cc036b9856c5e134f3aeaededee4bc5ea8cd4a94a6efbb09b610f89985db
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:b1ea05c1fe76e80bdc8e93a227d803514a4a6e914fd9379eb9d019821c1b7f98
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:8366c10a572851cb990bc173cab34fac15ad0b59f91a87ee761845e6b0549f27
A unikernel executing a traceroute
SHA256:fb52fcc053243d9d8f015658e0c754550077b5e91f9590fbb5cc92a5de72f21d
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:9c2b35a5535500b27bb3766de502643c8eb90725816afb6c43e5b1abdb1dc864
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:974d2969e77f55da6a7a7c7432a091b302f10f20d416c358452afa4de2be1d51
A secondary DNS server as unikernel which reports metrics to influx
SHA256:64f99185692c2987305722dd96542f0ae5a6edf3d4ff02466b42bae58a59cec8
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:e2779fc1ea8087f1460eaa66b00ba9a7c149864c09e9b5eb35d7a93fcc356e80
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:4435a5119e0678183468e978b6226482fef7f1bb6d43e64aaf44478dc084ec89
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