I found by setting -cpu max, this ID_AA64MMFR1 register value is read
correctly.
With this setting, the start_kernel is entered in el2 as in the fpga test.
Thanks!
Chan Kim
From: Chan Kim
Sent: Thursday, February 17, 2022 4:18 PM
To: 'qemu-discuss'
Subject: ID_AA64MMFR1 VHE fields read
On Thu, 17 Feb 2022 at 08:49, Chan Kim wrote:
> I found by setting -cpu max, this ID_AA64MMFR1 register value is read
> correctly.
The value is correct in both cases. The Cortex-A72 does not implement
the VHE architecture feature (it is mandatory from Armv8.1, but the
A72 is an Armv8.0 core). Th