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.