Otherwise the last thing printed is "(XE" or something.
In line with x86 also disable the watchdog and spin debugging.
Signed-off-by: Ian Campbell <ian.campb...@citrix.com>
---
xen/arch/arm/shutdown.c | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/xen/arch/arm/shutdown.c b/xen/arch/arm/shutdown.c
index 4988b03..e53ec97 100644
--- a/xen/arch/arm/shutdown.c
+++ b/xen/arch/arm/shutdown.c
@@ -38,6 +38,10 @@ void machine_restart(unsigned int delay_millisecs)
{
int timeout = 10;
+ watchdog_disable();
+ console_start_sync();
+ spin_debug_disable();
+
local_irq_enable();
smp_call_function(halt_this_cpu, NULL, 0);
local_irq_disable();
--
1.7.10.4
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xen.org
http://lists.xen.org/xen-devel
