> Some MipsProcessor have the timer on the int5 pin.
> 
> is it supported yet ? And if no, what is missing ?

We use the on chip timer to generate hardclock on our internal NetBSD
platform.  It's tricky to get this right.  We haven't folded this stuff
in because every platform has its own preferred mechanism.

Given the choice, I'd rather have something else generating the
hardclock interrupt, and save the the timer for something else like
statclock.

	-castor