docker-env-xmc4800 Cross-compilation environment for XMC4800 using docker to maintain our toolchain. See https://jsolano.net/2018/11/27/using-docker-to-cross-compile-embedded-software.