On 08/06/2021 12:28, Sander Eikelenboom wrote: > L.S., > > I seem to be running into a build error with current xen-unstable.
Yeah - that's my fault. https://xenbits.xen.org/gitweb/?p=xen.git;a=commitdiff;h=69e1472d21cf7e5cf0795ef38b99d00de78a910e went a little too far, and shouldn't have dropped the changes in gen-cpuid.py It went unnoticed because the code below is obfuscated from grep, and because the gitlab CI is currently blocked on earlier build failures from the PV32 changes. I'll do a patch when I've got a moment. ~Andrew