Hi, As also seen at: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=914951
Attached there are two serial console output logs. One is starting with Xen 4.11 (from debian unstable) as dom0, and the other one without Xen. [ 2.085543] BUG: unable to handle kernel paging request at ffff888d9fffc000 [ 2.085610] PGD 200c067 P4D 200c067 PUD 0 [ 2.085674] Oops: 0000 [#1] SMP NOPTI [ 2.085736] CPU: 1 PID: 1 Comm: swapper/0 Not tainted 4.19.0-trunk-amd64 #1 Debian 4.19.5-1~exp1+pvh1 [ 2.085823] Hardware name: HP ProLiant DL360 G7, BIOS P68 05/21/2018 [ 2.085895] RIP: e030:ptdump_walk_pgd_level_core+0x1fd/0x490 [...] The pti=off setting on the PV dom0 kernel is left behind from the time when 4.9 failed to boot as Xen dom0 because of the bug handling that. Hans _______________________________________________ Xen-devel mailing list Xen-devel@lists.xenproject.org https://lists.xenproject.org/mailman/listinfo/xen-devel
