chore: Merge branch 'joshua/docker' into 'main'main

Dockerfile features

See merge request falsestatement/riscv_linux!6

2 files changed, 28 insertions, 0 deletions

diff --git a/docker_tools/Dockerfile b/docker_tools/Dockerfile
new file mode 100644
index 0000000..a9e88d7
--- /dev/null
+++ b/docker_tools/Dockerfile
@@ -0,0 +1,24 @@
+FROM verilator/verilator:latest
+
+# Install fusesoc
+RUN apt-get update \
+    && DEBIAN_FRONTEND=noninteractive \
+    && apt-get install --no-install-recommends -y \
+                        python3-pip \
+    && pip3 install --upgrade fusesoc \
+    && apt-get clean \
+    && rm -rf /var/lib/apt/lists/*
+
+# Create developer user (Change if your UID for your personal account is different
+ARG UNAME=developer
+ARG UID=1000
+ARG GID=1000
+
+RUN groupadd -g $GID -o $UNAME \
+    && useradd -m -u $UID -g $GID -o -s /bin/bash $UNAME
+
+USER $UNAME
+
+WORKDIR /home/developer/work
+
+ENTRYPOINT [ "/bin/bash", "-l", "-c" ]
diff --git a/docker_tools/build.sh b/docker_tools/build.sh
new file mode 100755
index 0000000..9ba5d00
--- /dev/null
+++ b/docker_tools/build.sh
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+docker image rm verif_runner
+docker build -t verif_runner:latest .