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:e7f9ecc1b7602da54a469e287268c2a83c837fddd89fe182a1cfd23dd333a8f6
SHA256:cae495357a02da6d7efb93441b09b727506cd11fee917ad8897a9bb23f42b271
SHA256:673add228f4d55cbce9a4d341dc2f612fc8a45bbcf4583019cecaf4bb56279f6
Scheduling and executing shell jobs
SHA256:a2f41fddc469d63bb66a462aef3506cce25101c9ff00af3fee1457b8e6b071a4
SHA256:7cdf4635057b1008267d26e0d55d6b6a66aecdc2865ae02c7ac6d6bebc017245
Web interface for builder
SHA256:f28e141a1919c800d83da73eeef553b3245910405c1e83ee298ca0f68cb9c514
SHA256:13d32e8d6983a5160aeaa8fb70fb753ed713d0322bac8b7520cca7d1828207ac
SHA256:30a9545aacda008c5542b60e12e5eade46d7ed76a5e528565f38bf2e7af5b704
Unix command line DNS utilities
SHA256:b258d9677df8215fda9417667ff112ac8d4e5dbdbc92da19684184dcb5243de2
SHA256:e95283589c91db2dd7d7532b8a55ae7b2789eb843614385bef965609c75b9472
SHA256:7c789a5ee1836ba8e5d2b1c438b2d7140ca858fcf755bbd2bee20f4c5a9ac40b
Dissect OCaml compiled programs, and weight their content
SHA256:15be9f42d238073b9a7c45191f414b43d4d63b277cbbbbf10b950117e323655a
SHA256:d2aa789fae9611d2437f8bbb48d5efe22026d0c2a597608255e27465997c15c1
SHA256:833eb546a0cd13bdebdafc13dfe62f33afa7b075a25df57d02036ad901c2d741
Graphing dependencies of opam packages
SHA256:190914fa3a06a74a6ca6bfd47202f4ba78cc48827f7dc10e3f521dd0807e14f2
SHA256:0289f067ea0eed93b94c66369b3ae6b692251fef02280a8e462e209399ee15ab
SHA256:184822c63a8c240e5cda0fa975491a6b04be0d8cc6db1a548314ade3081cc4da
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:2237349fa50c9c67f67172d7c4a62ccc09266cf148ebc2ac0a537a5ce7dd427f
A primary DNS server unikernel that stores zone files in a remote git repository
SHA256:03037a600d1716c6c402519726d3f12ed978d84e7ead214369b6c673ff63ea89
A secondary DNS server as unikernel
SHA256:c4250591216db10632b836d5d86ee3269a622616ab2f86ac0a4bcada0d1af383
A DNS stub resolver
SHA256:5d1b3812c600946f503cc5a952e0edf95609a1315b93384514cae136daef3702
A DNS resolver and DHCP server MirageOS unikernel
SHA256:8dfa8375fd64bf144324ed237db3858c38f5f3b131ba2447ff1838f3a4052d16
The famous hello world unikernel
SHA256:55a7b5bf43dc7e8e1459e7fb6c402d2b178eb0e61c63066e0821af70c6db919f
An OpenVPN-compatible server unikernel.
SHA256:d32245124a3a5e4da728b828bb79ec6cf5e7d52bec083aedfbf419a9fbfe9466
Mollymawk is a web user interface and REST API for albatross, and a MirageOS unikernel
SHA256:16c67310238996d172502bc73066710c7b9e107e88cc0d745a49ff75f39e7083
An unikernel implementing an opam-repository and archive mirror
A static website example unikernel
A TLS reverse proxy unikernel
SHA256:cfb23cb4b60396fea2b27b2089103be336ab5e094856ef57b709e9a91898f4fc
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:68a8dc22d58e2cf1928a6c7de7c5bbf699968d71d5f32459164f294b1d68890b
A primary DNS server unikernel that stores zone files in a remote git repository which reports metrics to influx
SHA256:e628ad238fcff27d0ace56a6d39d67f5496b2f5e69493d5f7fd56e3251b5907a
A secondary DNS server as unikernel which reports metrics to influx
SHA256:04914ccb06f4f7b44851c5b284645060638ad973441c050259812dca45e3a76b
An OpenVPN-compatible router unikernel, the configuration is stored on a block device, reports metrics to influx
SHA256:96ee2c4cd2a2914418e97a450f3cfce656145c4061100b85dda00af028c77750
The unikernel serving https://retreat.mirageos.org with metrics reported to influx
SHA256:8d7e76d334bbe153bc46081a68a42399c2fea1cae623c22119adec392bd5e40d
A TLS reverse proxy unikernel, reports metrics to influx
SHA256:c1b188f16a904c8599d7b8e559a19fd79f2ba26adced9aa8776b924485a9922d
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