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

On Sat, Jun 19, 2021 at 09:26:16AM -0500, Segher Boessenkool wrote:

On Fri, Jun 18, 2021 at 01:44:16PM +1000, Paul Mackerras wrote:

quoted

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.

True - but if I actually do that, Linux starts trying to use hrfid
(for example in masked_Hinterrupt), which Microwatt doesn't have.
Something for Nick to fix. :)

Paul.