Michal Orzel (3):
  cmdline: Document console=dtuart option
  drivers/char: Check if console=dtuart for ACPI SPCR serial bring up
  drivers/char: Panic when the requested UART fails to initialise

 docs/misc/xen-command-line.pandoc | 13 +++++--
 xen/arch/arm/setup.c              |  5 ++-
 xen/arch/riscv/setup.c            |  6 +++-
 xen/drivers/char/uart-init.c      | 56 ++++++++++++++++++-------------
 xen/include/xen/serial.h          |  6 +++-
 5 files changed, 56 insertions(+), 30 deletions(-)

-- 
2.43.0