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