Docker environment for developing with Unikraft (http://unikraft.org/)

Dockerfile

# Run the "hello world" app:
# cd apps/helloworld/
# make menuconfig
# Go to "Platform Configuration" and select `Linux user space` 
# Go to "Library Configuration" and select `ukschedcoop` and Save
# `make` to build and `./build/helloworld_linuxu-x86_64` to run

FROM ubuntu:latest

RUN apt-get update && \
    apt-get -y upgrade && \
    apt-get install -y build-essential cmake gdb git libncurses-dev nano unzip wget

WORKDIR /root

RUN mkdir apps && cd apps && \
    git clone https://xenbits.xen.org/git-http/unikraft/apps/helloworld.git

RUN mkdir libs && cd libs && \
    git clone https://xenbits.xen.org/git-http/unikraft/libs/newlib.git

RUN git clone https://xenbits.xen.org/git-http/unikraft/unikraft.git