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:c56fea881c4023462e4a8823acafb40ca6076cc96606d1bb4ddb1f15bfe55809
SHA256:ff3007659477320ba7bf263515374b22cb44265a3ceca66d2f2e30c81d8cf892
SHA256:4cb8306c74ef7edc83c5f8e2391ee7d2df066c204514a79e18cce7bb27efa723
SHA256:2ee91451361bcc1e78f98691c32df1b7fc6abdf668efb9bf26a4c66ebb203f6a
Scheduling and executing shell jobs
SHA256:c8472048bb0072fdb7d578e131ee276449354aadd1207802b01500c1354fe371
SHA256:9fb3bc3ba021cd33ed294d7747ccd3d28255d024e26b2a9ffb9d01b8007b5e16
SHA256:f251345ef94ffc34694dbc6f1dab3a0fbb3c24393fcd6dc664046f7c5879e120
SHA256:d37ffbba6bc478c62797b37bf4e3157664b20e030a206f0623d636d68c7cbe00
Web interface for builder
SHA256:2d310d969035ddfafce6bf06ca052b59a0369f01fb4082e4590f230faf6184d0
SHA256:f9b7db165046fef0c4b6206ea8649870d280f647eddb96142926797143eaff91
SHA256:41c484fc553f5590be9e3ebb2b8b6e654cfa2145d8050718ea4263f9948395b3
Dissect OCaml compiled programs, and weight their content
SHA256:4a9f1a89a65025c2b135aca8981f28b4aab2b065b607f7b55f4359eec7f984c4
SHA256:02cabc00c850d293da2770e59dff121f6e7e543c98d00ccbc8a0c32341ad27aa
SHA256:03db07118cbc991032cc760987b87f9f947bb8a86a154150db20183d0c62ba74
Graphing dependencies of opam packages
SHA256:814a472be6e82c83f1e494bd8a43c6c2b913c828f4d155e9fe16a08ee9898b44
SHA256:69d1da45808b86bb5fd3053ff9b87e105c587f01bae207c98ceff8609e91c91a
SHA256:5299464a01c0c27d0a95b6281fa18c04462f7c6d7e26ec7dea4d76819143c3b8
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:3e2a6c5bb01a23f50f3daadb64fbb4af4929d2106c8425c3b4a2105bbb237f40
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:f840c91bf24558284ba2e03d356c5b7f50a82288681f0dc760c93e4123031e9b
A secondary DNS server as unikernel
SHA256:fd990f56c030dce163792fa87eb9d7d62b048f2d6d3d9f37bbb803d53039e222
A DNS stub resolver
SHA256:8c6d726717dad19e4a575f9c3e49ca9aeac7992ea1a8adaa36bd02ff80324c0f
A DNS resolver and DHCP server MirageOS unikernel
SHA256:d8056f0d118f6b5adcb5a2c77d0493f1721dd82ce19d1ffff3398318a36ce83f
The famous hello world unikernel
SHA256:b9056557b9aa8393e2a279215b63db0808c35dd5a2172df52ee668abb8af03b1
An OpenVPN-compatible server unikernel.
SHA256:239d28b4a350f7079b7785fffdcb5c27b40443cab6ed17f83645ce4b9ad614c7
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:e544bb853ef826f4898dc949576de202b03bd8c6985bc3dea42ed0616512920e
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:910ed2eccd0fdbb1314a41a37e87699ad5fa1ac51a1cd9e235e6d87898ecb7ed
A unikernel executing a traceroute
SHA256:c8ada23f93be2a93701ef1433d219770b1e0a0694e0ca13d4959c2f609b285f0
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:3c427202fea21b4ef5a0f88872b66e0f02709be6edbff9bfdb1242c9420c95a8
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:8468207bd83256874a6c3df07954dd166ce6ac3e50d670af30666ed33aebdc25
A secondary DNS server as unikernel which reports metrics to influx
SHA256:d2dd59d479e09f8a9c97a16ce2b81049a73e362471e3df962f2759946318ef50
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:53c169f14e49648d69efb27e745ddf3c49a4a91c090e79f2be6d6be39fb52900
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:a5c2f16c843c8f47ca3e346cc4c3d37af861df0b743fae0d3db28de1abe6ff46
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