Am Mon, 17 May 2021 12:54:02 +0200
schrieb Jan Beulich <jbeulich@suse.com>:

> x86/Xen: swap NX determination and GDT setup on BSP
> 
> xen_setup_gdt(), via xen_load_gdt_boot(), wants to adjust page tables.
> For this to work when NX is not available, x86_configure_nx() needs to
> be called first.


Thanks. I tried this patch on-top of the SLE15-SP3 kernel branch.
Without the patch booting fails as reported.
With the patch the dom0 starts as expected.


Olaf