From 60dd66e94ddef8772dee78528feee1d949bde132 Mon Sep 17 00:00:00 2001
From: Paul Rigge <rigge@berkeley.edu>
Date: Thu, 21 Feb 2019 20:35:01 -0800
Subject: [PATCH 1/2] Add Dockerfile

---
 Dockerfile | 31 +++++++++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 Dockerfile

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..f2a9738
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,31 @@
+FROM jupyter/minimal-notebook
+
+USER root
+
+RUN apt-get update && \
+    apt-get install -y --no-install-recommends \
+    curl verilator openssh-client \
+    openjdk-8-jre-headless openjdk-8-jdk-headless ca-certificates-java && \
+    apt-get clean && \
+    rm -rf /var/lib/apt/lists/*
+
+ADD . /home/$NB_USER/chisel-bootcamp
+
+RUN chown -R $NB_USER ~/chisel-bootcamp
+
+USER $NB_USER
+
+RUN curl -L -o coursier https://git.io/coursier && chmod +x coursier
+
+ARG SCALA_VERSION=2.12.8
+ARG ALMOND_VERSION=0.2.1
+
+RUN ./coursier bootstrap -r jitpack \
+    -i user -I user:sh.almond:scala-kernel-api_$SCALA_VERSION:$ALMOND_VERSION \
+    sh.almond:scala-kernel_$SCALA_VERSION:$ALMOND_VERSION \
+    --sources --default=true \
+    -o almond
+
+RUN ./almond --install && rm almond coursier
+
+RUN mkdir -p ~/.jupyter/custom/ && cp ~/chisel-bootcamp/source/custom.js ~/.jupyter/custom/

From f786eec82a1e5cfba85c8bba0e9713aac3f4bb02 Mon Sep 17 00:00:00 2001
From: Paul Rigge <rigge@berkeley.edu>
Date: Thu, 21 Feb 2019 20:38:19 -0800
Subject: [PATCH 2/2] Add initial instructions for using docker image.

---
 Install.md | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/Install.md b/Install.md
index c42fe72..a2f7ac8 100644
--- a/Install.md
+++ b/Install.md
@@ -1,4 +1,13 @@
-## Local Setup Instructions
+# Local Setup Instructions
+
+## Using Docker
+We publish images of the chisel-bootcamp to Docker Hub.
+To use it, run
+```
+docker run -e JUPYTER_ENABLE_LAB=yes -p 8888:8888 ucbbar:chisel-bootcamp
+```
+
+## Local Installation
 
 If you want to run the bootcamp locally, run the following instructions below for your particular situation.
 Note that we include a custom javascript file for Jupyter, so if you already have Jupyter installed, you still need to install the custom.js file.