Thanks for the correction/education!
On Dec 3, 2010, at 2:17 AM, Christian Vogel <[email protected]> wrote: > Hi bownes, > >> Unfortunately, there is no way to restart the kernel without going through a >> BIOS re initialization. > > actually, there is. It's called "kexec". > > See, for example http://www.ibm.com/developerworks/linux/library/l-kexec.html > . > > Greetings from Germany, > > Chris > > > > > _______________________________________________ > time-nuts mailing list -- [email protected] > To unsubscribe, go to https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts > and follow the instructions there. _______________________________________________ time-nuts mailing list -- [email protected] To unsubscribe, go to https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts and follow the instructions there.
