Re: panic: mutex pmap not owned at ... efirt_machdep.c:255

On Sat, 04 Aug 2018 09:47:11 -0600
Ian Lepore <ian_at_freebsd.org> wrote:

> On Sat, 2018-08-04 at 18:43 +0300, Konstantin Belousov wrote:
> > On Sat, Aug 04, 2018 at 09:25:47AM -0600, Ian Lepore wrote:
> > > 
> > > On Sat, 2018-08-04 at 18:22 +0300, Konstantin Belousov wrote:
> > > > 
> > > > On Sat, Aug 04, 2018 at 09:58:43AM -0500, Kyle Evans wrote:
> > > > > 
> > > > > 
> > > > > On Sat, Aug 4, 2018 at 9:51 AM, Ian Lepore <ian_at_freebsd.org> wrote:
> > > > > > 
> > > > > > 
> > > > > > 
> [...]
> > > > > > What do we do on 32-bit arm that has no dmap but may have efi
> > > > > > runtime
> > > > > > support?
> > > > > > 
> > > > > This should probably just be compiled out for !arm64 && !x86 - its
> > > > > sole purpose was to compensate for outdated loader.efi that hasn't
> > > > > done the SetVirtualAddressMap. EFI on 32-bit ARM is "new" enough
> > > > > that
> > > > > it shouldn't have this problem.
> > > > Does EFI on 32bit arm have RT support ?
> > > I suspect the uboot implementation doesn't, but I can't think of any
> > > reason why other implementations are not possible/available. In
> > > particular, even 32bit arm supports virtualization and such an
> > > environment could provide rt support.
> > No, I mean, does our kernel has RT support on armv7 ?  I only implemented
> > necessary VM tricks for amd64, then it was ported to arm64, and in both
> > cases it relies on 64bit address space and specific location of the KVA.
> 
> I didn't realize the kernel implementation was arch-specific. So I
> guess this comes under the category of "we'll solve that problem when
> something comes along that provides efi rt for arm32."

 U-Boot doesn't provide a runtime service, I never tested the available
port of EDK2 for BBB or RPI, I guess they boot the kernel in
HYP/non-secure mode and install an runtime in secure world along with
some psci firmware.

-- 
Emmanuel Vadot <manu_at_bidouilliste.com> <manu_at_freebsd.org>