On 7/6/05, Adam Lackorzynski adam@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