All,
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.
Thanks!
-Julian
Hi,
I got it working. I had to go into fiasco config: cd .../l4/kernel/fiasco make config
and enable a fourth experimental option in ABI extensions: -->Allow association of multiple IRQs
Thanks for help! -andrew
l4-hackers mailing list l4-hackers@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
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
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
l4-hackers@os.inf.tu-dresden.de