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 88d48bd206f9391364bc855c101e8c1f33955df3..055c0183524c8a5cf95c767569cf084ea430ba8d 100644 (file)
--- 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");
 }