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