Though the ARM Fastmodel software emulator mimics a Versatile Express board, the boot process is different compared to the real hardware, so the early printk differs slightly. Create a new early-printk target to model this correctly.
95ac742 arm/early-printk: add support for ARM Fastmodel
docs/misc/arm/early-printk.txt | 1 +
xen/arch/arm/Rules.mk | 6 ++++++
2 files changed, 7 insertions(+)
Upstream: xenbits.xen.org