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.