Ian Campbell wrote:
__supported_pte_mask has not been correctly configured at this point
and Xen prevents us from using the NX bit if the hardware does not
support it. Some BIOSes seem to offer the option to disable NX.
Could we sniff EFER and update __supported_pte_mask accordingly?
J