Subject: Re: [PATCH v2 2/9] powerpc: Add Microwatt device tree

From: Segher Boessenkool <[email-masked]>
Date: Sat, 19 Jun 2021 09:26:16 -0500

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