sel4bench.dockerfile

FROM ubuntu:20.04
RUN apt-get update -q && apt-get install -y --no-install-recommends \
        build-essential \
        cmake \
        coreutils \
        cpio \
        curl \
        ca-certificates \
        git \
        ninja-build \
        protobuf-compiler python-protobuf \
        python3 python3-pip python python-pip python-dev python3-dev \
        python3-setuptools python-setuptools \
        libxml2-utils zlib1g-dev

RUN pip3 install sel4-deps
RUN pip install sel4-deps

RUN curl https://storage.googleapis.com/git-repo-downloads/repo > /tmp/repo && \
        chmod a+x /tmp/repo && \
        mv /tmp/repo /usr/bin/repo

RUN git config --global user.name "Chandler Bing" && \
        git config --global user.email [email protected]

RUN mkdir -p /sel4bench
WORKDIR /sel4bench
RUN repo init -u https://github.com/seL4/sel4bench-manifest.git
RUN repo sync

RUN mkdir build
WORKDIR build
RUN ../init-build.sh \
        -DPLATFORM=pc99 \
        -DSMP=0 \
        -DRELEASE=TRUE \
        -DFASTPATH=TRUE \
        -DKernelX86Sel4Arch="x86_64" \
        -DKernelX86IBRSMode="ibrs_none" \
        -DKernelX86MicroArch=sandy \
        -DKernelHugePage=FALSE \
        -DKernelSupportPCID=FALSE \
        -DKernelFSGSBase=msr \
        -DKernelFPU=FXSAVE
RUN ninja

CMD cp images/sel4benchapp-image-x86_64-pc99 images/kernel-x86_64-pc99 /out && echo done