Docker image based on Debian for building the gateway Linux distribution.