diff options
author | Andre Przywara <andre.przywara@calxeda.com> | 2013-05-24 15:47:29 +0200 |
---|---|---|
committer | Ian Campbell <ian.campbell@citrix.com> | 2013-05-30 09:20:37 +0100 |
commit | 95ac742a2d1b471a5552a2d79b501aff5965efd2 (patch) | |
tree | 0878c75f4a942db540aebf3f1d8cf650061d6173 | |
parent | 74025300d55262155a3bdafddf257d82dcf0f6af (diff) | |
download | xen-95ac742a2d1b471a5552a2d79b501aff5965efd2.tar.gz xen-95ac742a2d1b471a5552a2d79b501aff5965efd2.tar.bz2 xen-95ac742a2d1b471a5552a2d79b501aff5965efd2.zip |
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>
-rw-r--r-- | docs/misc/arm/early-printk.txt | 1 | ||||
-rw-r--r-- | xen/arch/arm/Rules.mk | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/docs/misc/arm/early-printk.txt b/docs/misc/arm/early-printk.txt index 9220113e92..e423cc4b54 100644 --- 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 902bddb75f..d010c69eea 100644 --- 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 |