On Wednesday, 28.10.2015 at 15:43, Martin Lucina wrote: > following up on Justin's work on Docker builds, I've made Docker images > with pre-built rumprun toolchains available. > > [...] > > Quick start: > > 1. Install Docker. > 2. $ docker run -ti mato/rumprun-toolchain-hw-x86_64 > > The images are automatically rebuilt when rumpkernel/rumprun changes. > > For details, please see the Wiki page at > http://wiki.rumpkernel.org/Howto:-Using-prebuilt-Rumprun-toolchains-with-Docker
Thanks to help from Mort, there are now also images of 'mato/rumprun-mirage-toolchain-hw-x86_64' available, which contain a pre-built Rumprun toolchain, OCaml, OPAM and the work-in-progress "Mirage on Rumprun" port from https://github.com/mato/opam-rumprun. Martin
