[Fwd: Re: l4lx: console without con or dope --fixed]

Adam Lackorzynski adam at os.inf.tu-dresden.de
Wed Jul 6 22:48:57 CEST 2005

On Wed Jul 06, 2005 at 15:47:41 -0400, Julian Grizzard wrote:
> With this setup, what's the best way to reboot the system remotely
> (e.g. via ssh)?  Rebooting the L4Linux server appears to exit all
> linux related activities and terminate their L4 tasks but the system
> does not reboot.

Yes, that is wanted and expected. Generally you don't want your
virtualization environment to be shut down when you exit one guest.
There may be others etc. pp.

But that doesn't mean something like this couldn't work:

--- main.c
+++ main.c
@@ -36,6 +36,7 @@
 #include <l4/util/cpu.h>
 #include <l4/util/kip.h>
 #include <l4/util/mbi_argv.h>
+#include <l4/util/reboot.h>
 #include <asm/api/config.h>
 #include <asm/api/macros.h>
@@ -847,6 +848,7 @@
 	l4xi_linux_main_exit_recv(&main_id, &server_env);
 	LOG_printf("Terminating L4Linux.\n");
+	l4util_reboot();
 	return 0;

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list