src/liblibc/ci/rumprun/Dockerfile

   1 FROM ubuntu:15.04
   2
   3 RUN apt-get update
   4 RUN apt-get install -y binutils git g++ make qemu
   5
   6 WORKDIR /build
   7 RUN git clone --recursive http://repo.rumpkernel.org/rumprun
   8 WORKDIR /build/rumprun
   9 RUN CC=cc ./build-rr.sh hw
  10
  11 ENV PATH=$PATH:/build/rumprun/rumprun/bin
  12 WORKDIR /root