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

[Julian Grizzard]

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!

-Julian