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