RE: [PATCH 2/4] arch: arm/xen: add putc() for debugging