diff options
| -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 |