>In those cases, we probably *could* just bump the timer up to 1000 usec, >but wouldn't it be easier to just verify with tick = 1000?
Fair enough, but it is clear that not every does this when developing kernels; perhaps the debug kernel must default to a 1000Hz tick? Casper
