diff --git a/docker/Dockerfile b/docker/Dockerfile index e948ae0b7..d806ffabf 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -14,7 +14,7 @@ RUN echo "deb https://dl.bintray.com/rwth-os/hermitcore vivid main" | tee -a /et RUN apt-get -qq update # Install required packets from ubuntu repository -RUN apt-get install -y curl wget vim nano git binutils +RUN apt-get install -y curl wget vim nano git binutils autoconf automake make cmake qemu-system-x86 nasm gcc RUN apt-get install -y --allow-unauthenticated binutils-hermit libhermit newlib-hermit pthread-embedded-hermit gcc-hermit ENV PATH="/opt/hermit/bin:${PATH}"