On Wednesday 10 October 2007 03:59:22 Siddha, Suresh B wrote:
The original code worked, but got broken by 0dbf7028c0c1f266c9631139450a1502d3cd457e
Another point was to get a writable mapping. At some point we had write
protected kernels, although that was later then removed again.
It used to be done, but it is difficult with the changing vreads
in timesources and was probably disabled then. Yes you're right right now
it looks dubious.
It needs to be updated when the timesource is updated.
-Andi
-