Initial commit.

.dockerignore

@@ -0,0 +1,2 @@
+Makefile
+README.md

.gitignore

@@ -0,0 +1,2 @@
+Xilinx_ISE_DS_Lin_14.7_1015_1.tar
+Xilinx.lic

Dockerfile

@@ -0,0 +1,22 @@
+FROM debian:jessie
+
+RUN echo 'deb http://deb.debian.org/debian jessie-backports main' > /etc/apt/sources.list.d/backports.list
+
+RUN apt-get update \
+	&& \
+    apt-get install -y \
+	    avr-libc \
+	    binutils-avr \
+	    gcc-arm-none-eabi \
+	    gcc-avr \
+	    git \
+	    python-crypto \
+	    python-serial \
+	    python-yaml \
+	    reprepro \
+	    ubuntu-archive-keyring \
+	    ubuntu-dev-tools \
+    	    pbuilder \
+	&& \
+    apt-get -t jessie-backports install -y \
+    	    debootstrap distro-info-data

Makefile

@@ -0,0 +1,2 @@
+all:
+	docker build -t alpha-releng .

README.md

@@ -0,0 +1,20 @@
+Docker
+======
+
+An attempt to Dockerize the Cryptech build environment.
+
+The ten zillion Debian packages are tedious but straightforward.
+
+The tricky bit is the XiLinx toolchain:
+
+* You have to download the installation tarball by hand
+* You have to get a license key from XiLinx before you can use it
+* You have to run GUI installation tools to install and configure it
+
+There's not much we can do about the first two, so we assume that
+you've obtained a tarball and a license key file, and that you've
+dropped them into this directory with the filenames we expect.
+
+The third...is fun, in a demented sort of way.  Don't know whether
+it'll work yet, but going to try automating this using
+Xvfb, xautomation, and ratpoison.