On Fri, Jun 18, 2021 at 01:44:16PM +1000, Paul Mackerras wrote: > Microwatt currently runs with MSR[HV] = 0, That isn't compliant though? If your implementation does not have LPAR it must set MSR[HV]=1 always. Segher