[time-nuts] Linux timekeeping / jiffy source

[Christian Vogel]

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