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 > [email protected] > http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers > _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
