Part of https://gitlab.simonmicro.de/simonmicro/common-docker-images/