Comment 9 for bug 1752350

@jsalibury, the Kernel you provided does successfully boot on Xen.

...
(XEN) Initial low memory virq threshold set at 0x4000 pages.
(XEN) Std. Loglevel: Errors and warnings
(XEN) Guest Loglevel: Nothing (Rate-limited: Errors and warnings)
(XEN) Xen is relinquishing VGA console.
(XEN) *** Serial input -> DOM0 (type 'CTRL-a' three times to switch input to Xen)
(XEN) Freed 460kB init memory
mapping kernel into physical memory
about to get started...
[ 0.000000] Linux version 4.15.0-10-generic (root@kathleen) (gcc version 7.3.0 (Ubuntu 7.3.0-5ubuntu1)) #11~lp1752350 SMP Mon Mar 5 08:26:15 UTC 2018 (Ubuntu 4.15.0-10.11~lp1752350-generic 4.15.3)
[ 0.000000] Command line: placeholder root=/dev/mapper/vg-xen--nfo--dom0 ro rootflags=data=journal console=hvc0 console=tty0 kgdboc=hvc0 early_printk=xen ignore_loglevel
...