Dockerfile.dev

ARG UBUNTU_VERSION=xenial
FROM ubuntu:${UBUNTU_VERSION} AS builder

## Deps
RUN apt-get update && apt-get install -yq \
    autoconf \
    automake \
    g++ \
    git \
    gcc \
    make \
    texinfo \
    wget
RUN apt-get clean

## Environment
ENV BASE_DIR /sources
ENV XEN_ROOT ${BASE_DIR}/xen
ENV TOOLCHAIN_ROOT ${BASE_DIR}/toolchain
ENV MINIOS_ROOT ${BASE_DIR}/minios
ENV CLICKOS_ROOT ${BASE_DIR}/clickos

## Xen Hypervisor Code
ARG XEN_BR=RELEASE-4.11.4
ARG XEN_REPO=https://github.com/xen-project/xen
RUN git clone -b ${XEN_BR} ${XEN_REPO} ${XEN_ROOT}

## Sysml Toolchain
ARG TOOLCHAIN_BR=master
ARG TOOLCHAIN_REPO=https://github.com/sysml/toolchain
RUN git clone -b ${TOOLCHAIN_BR} ${TOOLCHAIN_REPO} ${TOOLCHAIN_ROOT}

## MiniOS
ARG MINIOS_BR=master
ARG MINIOS_REPO=https://github.com/sysml/mini-os
RUN git clone -b ${MINIOS_BR} ${MINIOS_REPO} ${MINIOS_ROOT}

## Build Toolchain
WORKDIR ${TOOLCHAIN_ROOT}
RUN make -j all 
ENV LWIP_ROOT "${TOOLCHAIN_ROOT}/x86_64-root/x86_64-xen-elf"
ENV NEWLIB_ROOT "${TOOLCHAIN_ROOT}/x86_64-root/x86_64-xen-elf"

## Create ClickOS Root
RUN mkdir ${CLICKOS_ROOT}

WORKDIR ${CLICKOS_ROOT}
ENTRYPOINT [ "/bin/bash" ]