[Fwd: Re: l4lx: console without con or dope --fixed]
grizzard at gmail.com
Wed Jul 6 23:37:16 CEST 2005
On 7/6/05, Adam Lackorzynski <adam at os.inf.tu-dresden.de> wrote:
> 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;
Yes, works great! Thanks!
More information about the l4-hackers