HomeFreeBSD

Use the base address for early arm64 page tables

Description

Use the base address for early arm64 page tables

Use the kernel physical base rather than the ttbr0 base when building
the kernel identity map. The latter is correct with current assumptions
but may not always be the case.

Sponsored by: Innovate UK

Details

Provenance
andrewAuthored on Dec 23 2020, 6:56 PM
Parents
R10:2f00fe725b7a: nsphy(4): Remove obsolete support for pcn(4)
Branches
Unknown
Tags
Unknown