CVSROOT: /cvs
Module name: src
Changes by: [email protected] 2026/05/04 14:18:42
Modified files:
sys/arch/arm64/arm64: locore.S
Log message:
When running in VHE host mode, HCR_EL2.TGE must be set, as otherwise
a bunch of problems occur:
- EL0 is guest EL0, not host, and the kernel will catch fire on the
first ERET to EL0
- EL1 TLB invalidations target the guest, and not the host
Make sure that HCR_EL2.TGE is set, instead of relying on firmware
to have set it (when booting with UEFI, only the first CPU is
correctly configured).
>From Marc Zyngier <[email protected]>
