On Thu, Nov 18, 2021, Juergen Gross wrote: > On 18.11.21 16:05, Sean Christopherson wrote: > > the partner isn't running a vanilla distro build and could set it as they see fit. > > And here you are wrong. They'd like to use standard SUSE Linux (SLE). Huh. As in, completely off-the-shelf kernel binaries without any tweaks to the config?