On Sat, 04 Aug 2018 09:47:11 -0600 Ian Lepore <[email protected]> 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 <[email protected]> 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 <[email protected]> <[email protected]> _______________________________________________ [email protected] mailing list https://lists.freebsd.org/mailman/listinfo/freebsd-current To unsubscribe, send any mail to "[email protected]"
