docker: WIP draft of docker files

.dockerignore

+.git
+Dockerfile
+Dockerfile.*

docker/Dockerfile

+FROM simbricks-build AS simbricks-obj
+COPY . /simbricks
+WORKDIR /simbricks
+RUN make -j `nproc` ENABLE_VERILATOR=y
+RUN make -j `nproc` sims/external/qemu/ready
+RUN make -j `nproc` build-images-min COMPRESSED_IMAGES=true \
+	&& rm -f images/output-*/*.raw
+

docker/Dockerfile.buildenv

+FROM ubuntu:jammy
+RUN apt-get update \
+ && apt-get install -y \
+	autoconf \
+	bc \
+	bison \
+	build-essential \
+	doxygen \
+	g++ \
+	flex \
+	git \
+	libboost-coroutine-dev \
+	libboost-fiber-dev \
+	libboost-iostreams-dev \
+	libelf-dev \
+	libglib2.0-dev \
+	libpcap-dev \
+	libpixman-1-dev \
+	ninja-build \
+	python3-sphinx \
+	python3-sphinx-rtd-theme \
+	rsync \
+	scons \
+	unzip \
+	wget \
+ && rm -rf /var/lib/apt/lists/*
+COPY verilator.patch /tmp/
+RUN cd /tmp \
+ && git clone -b v4.010 https://github.com/verilator/verilator \
+ && cd verilator \
+ && patch -p1 < /tmp/verilator.patch \
+ && autoupdate \
+ && autoconf \
+ && ./configure \
+ && make -j`nproc` \
+ && make install \
+ && rm -rf /tmp/verilator

docker/Dockerfile.runenv

+FROM ubuntu:jammy
+RUN apt-get update \
+ && apt-get install -y \
+	libboost-coroutine1.74.0 \
+	libboost-fiber1.74.0 \
+	libboost-iostreams1.74.0 \
+ && rm -rf /var/lib/apt/lists/*
+RUN apt-get update \
+ && apt-get install -y \
+	libelf1 \
+	libpcap0.8 \
+	libpixman-1-0 \
+	rsync \
+	unzip \
+	wget \
+ && rm -rf /var/lib/apt/lists/*
+RUN apt-get update \
+ && apt-mark hold shared-mime-info \
+ && apt-get install -y \
+	libglib2.0-0 \
+ && rm -rf /var/lib/apt/lists/*

docker/binaries_include

+experiments
+sims/nic/corundum/corundum_verilator
+sims/nic/i40e_bm/i40e_bm
+sims/net/wire/net_wire
+sims/net/tap/net_tap
+sims/net/switch/net_switch
+sims/net/menshen/menshen_hw
+sims/tofino/tofino
+doc/doxygen
+doc/_build
+images/mqnic/mqnic.ko
+images/vmlinux
+images/bzImage
+images/output-*
+images/kheaders.tar.bz2
+dist/rdma/net_rdma
+dist/sockets/net_sockets
+trace/process

docker/verilator.patch

+diff --git a/src/verilog.y b/src/verilog.y
+index 492da7f2..504fc70a 100644
+--- a/src/verilog.y
++++ b/src/verilog.y
+@@ -208,6 +208,9 @@ static void ERRSVKWD(FileLine* fileline, const string& tokname) {
+ class AstSenTree;
+ %}
+ 
++BISONPRE_VERSION(3.0,%define parse.error verbose)
++BISONPRE_VERSION(3.7,%define api.header.include {"V3ParseBison.h"})
++
+ // When writing Bison patterns we use yTOKEN instead of "token",
+ // so Bison will error out on unknown "token"s.
+