I already sent.
When I boot my system with Xen, I get the following section in dmesg:
[ 13.588381] ------------[ cut here ]------------
[ 13.588386] WARNING: CPU: 18 PID: 1 at /build/linux-zDY19G/linux-4.8.15/arch/x86/mm/dump_pagetables.c:225 note_page+0x5e8/0x790
[ 13.588388] x86/mm: Found insecure W+X mapping at address ffff880000000000/0xffff880000000000
[ 13.588388] Modules linked in:
[ 13.588392] CPU: 18 PID: 1 Comm: swapper/0 Not tainted 4.8.0-2-amd64 #1 Debian 4.8.15-2
[ 13.588392] Hardware name: ASUSTeK COMPUTER INC. Z10PA-D8 Series/Z10PA-D8 Series, BIOS 3202 04/18/2016
[ 13.588394] 0000000000000200 00000000043f1514 ffffffff8131f925 ffff8802806b3de0
[ 13.588397] 0000000000000000 ffffffff81074ffe ffff8802806b3ed0 ffff8802806b3e38
[ 13.588399] 0000000000000004 0000000000000000 ffff8802806b3ed0 0000000000000000
[ 13.588401] Call Trace:
[ 13.588406] [<ffffffff8131f925>] ? dump_stack+0x5c/0x77
[ 13.588409] [<ffffffff81074ffe>] ? __warn+0xbe/0xe0
[ 13.588412] [<ffffffff8107507f>] ? warn_slowpath_fmt+0x5f/0x80
[ 13.588415] [<ffffffff810cadc9>] ? vprintk_emit+0x349/0x530
[ 13.588417] [<ffffffff81067198>] ? note_page+0x5e8/0x790
[ 13.588419] [<ffffffff81067615>] ? ptdump_walk_pgd_level_core+0x2d5/0x400
[ 13.588423] [<ffffffff815dbd46>] ? kernel_init+0x26/0x100
[ 13.588425] [<ffffffff815e8eef>] ? ret_from_fork+0x1f/0x40
[ 13.588427] [<ffffffff815dbd20>] ? rest_init+0x80/0x80
[ 13.588428] ---[ end trace 98efce8be234f5b3 ]---
[ 13.608867] x86/mm: Checked W+X mappings: FAILED, 4602 W+X pages found.
But when I boot my system 'normally', ie without Xen, the error does not
show up."
He clearly states it isn't booting. It is crashing.