[time-nuts] Linux timekeeping / jiffy source

[bownes]

Thanks for the correction/education!



On Dec 3, 2010, at 2:17 AM, Christian Vogel <vogelchr at vogel.cx> 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 -- time-nuts at febo.com
> To unsubscribe, go to https://www.febo.com/cgi-bin/mailman/listinfo/time-nuts
> and follow the instructions there.