On Thu, 2019-12-05 at 17:27 +0100, Philippe Mathieu-Daudé wrote: > On 12/5/19 5:13 PM, Laszlo Ersek wrote: > > If that rules out CentOS 7 as a QEMU project build / CI platform for the > > bundled ArmVirtQemu binaries, then we need a more recent platform > > (perhaps CentOS 8, not sure). > > Unfortunately CentOS 8 is not available as a Docker image, which is a > convenient way to build EDK2 in a CI.
Uh? https://hub.docker.com/_/centos seems to disagree with you. Is the 'centos:8' image not suitable for some non-obvious reason? -- Andrea Bolognani / Red Hat / Virtualization
