From: Antti Kantee <pooka@iki.fi>
Date: Wed, 22 Apr 2015 07:42:27 +0000 (+0000)
Subject: Print something like the comment says
X-Git-Url: http://xenbits.xensource.com/gitweb?a=commitdiff_plain;h=80387abac1906abec95f115c838c9701885d910d;p=people%2Fliuw%2Frumprun.git

Print something like the comment says

Now that it's possible ...
---

diff --git a/lib/librumprun_base/netbsd_initfini.c b/lib/librumprun_base/netbsd_initfini.c
index 88d48bd..055c018 100644
--- a/lib/librumprun_base/netbsd_initfini.c
+++ b/lib/librumprun_base/netbsd_initfini.c
@@ -114,6 +114,6 @@ _netbsd_fini(void)
 	_rumprun_deconfig();
 	runfini();
 	rump_sys_reboot(0, 0);
-	/* XXX: Should print something if we ever get here, but how? */
-	bmk_platform_halt(NULL);
+
+	bmk_platform_halt("reboot returned");
 }