From c12b25aa7ddb70cefacb119e1ff7573906a7284d Mon Sep 17 00:00:00 2001
From: Keir Fraser <keir.fraser@citrix.com>
Date: Wed, 17 Jun 2009 07:22:18 +0100
Subject: minios: support secondary guest consoles.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
---
 extras/mini-os/kernel.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'extras/mini-os/kernel.c')

diff --git a/extras/mini-os/kernel.c b/extras/mini-os/kernel.c
index bdd866462b..f2bd01f8eb 100644
--- a/extras/mini-os/kernel.c
+++ b/extras/mini-os/kernel.c
@@ -562,7 +562,7 @@ void stop_kernel(void)
     fini_gnttab();
 
     /* Reset the console driver. */
-    fini_console();
+    fini_console(NULL);
     /* TODO: record new ring mfn & event in start_info */
 
     /* Reset XenBus */
-- 
cgit v1.2.3