switch-coreboot/util/docker/coreboot-sdk
..
Dockerfile