arm/early-printk: add support for ARM Fastmodel

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.

Signed-off-by: Andre Przywara <andre.przywara@calxeda.com>
Reviewed-by: Julien Grall <julien.grall@linaro.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>

diff --git a/docs/misc/arm/early-printk.txt b/docs/misc/arm/early-printk.txt
index 9220113e929d54015b7f20fbc4dc734dd0b1aec0..e423cc4b545a68d2a8d9c7b13890a6e130c7c5aa 100644 (file)
--- a/docs/misc/arm/early-printk.txt
+++ b/docs/misc/arm/early-printk.txt
@@ -11,6 +11,7 @@ CONFIG_EARLY_PRINTK=mach
 where mach is the name of the machine:
   - vexpress: printk with pl011 for versatile express
   - exynos5250: printk with the second UART
+  - fastmodel: printk on ARM Fastmodel software emulators
 
 The base address and baud rate is hardcoded in xen/arch/arm/Rules.mk,
 see there when adding support for new machines.

diff --git a/xen/arch/arm/Rules.mk b/xen/arch/arm/Rules.mk
index 902bddb75f10cbb7ea490a3cdcf607f8c34cab9b..d010c69eeae9d414796c4dad87125d24886d6db6 100644 (file)
--- a/xen/arch/arm/Rules.mk
+++ b/xen/arch/arm/Rules.mk
@@ -47,6 +47,12 @@ EARLY_PRINTK_INC := pl011
 EARLY_PRINTK_BAUD := 38400
 EARLY_UART_BASE_ADDRESS := 0x1c090000
 endif
+ifeq ($(CONFIG_EARLY_PRINTK), fastmodel)
+EARLY_PRINTK_INC := pl011
+EARLY_PRINTK_INIT_UART := y
+EARLY_PRINTK_BAUD := 115200
+EARLY_UART_BASE_ADDRESS := 0x1c090000
+endif
 ifeq ($(CONFIG_EARLY_PRINTK), exynos5250)
 EARLY_PRINTK_INC := exynos4210
 EARLY_PRINTK_INIT_UART := y