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.
