20 Jun
2007
20 Jun
'07
6:05 p.m.
And google for CONFIG_NO_HZ.
Now *this* is off topic here.
Ups. Sorry :)
N.-