Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
hw: don't depend on ARMv8 HCR, CPTR EL2 reg values
Instead of re-using the register values found in HCR_EL2 and CPTR_EL2 and setting single bits within them, define the complete content to prevent inconsistent hardware/hypervisor state. Ref genodelabs#4759
- Loading branch information