Pushed a Debian-based image now, using gcc-avr=1:5.4.0+Atmel3.6.2-3 and avr-libc=1:2.0.0+Atmel3.6.2-3.
docker pull siterelenby/anduril-builder:debian
Windows CMD: docker run --rm --pull=always -v "%cd%":/src -it siterelenby/anduril-builder:debian avr32dd20-devkit
Linux/WSL/MacOS: docker run --rm --pull=always -v "$(pwd -P)":/src -it siterelenby/anduril-builder:debian avr32dd20-devkit
It’s ~200MB larger, but worthwhile to have to build on a consistent version as TK, I think. Maybe going forward we should think about standardising which versions are used, would make maintenance a lot easier.