From d71ec218eaffe0caf07b44e349383ef1d9398feb Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Sat, 12 Jul 2014 14:50:15 +0000
Subject: [PATCH] aarch64: Add some earlyprintk debugging.

---
 src/launch.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/launch.c b/src/launch.c
index 3f8df9424..e9a8a6794 100644
--- a/src/launch.c
+++ b/src/launch.c
@@ -342,6 +342,9 @@ guestfs___appliance_command_line (guestfs_h *g, const char *appliance_dev,
      " noapic"                  /* workaround for RHBZ#857026 */
 #endif
      " " SERIAL_CONSOLE /* serial console */
+#ifdef __aarch64__
+     " earlyprintk=pl011,0x9000000 ignore_loglevel"
+#endif
      " udevtimeout=6000"/* for slow systems (RHBZ#480319, RHBZ#1096579) */
      " no_timer_check"  /* fix for RHBZ#502058 */
      "%s"               /* lpj */