Some MipsProcessor have the timer on the int5 pin. is it supported yet ? And if no, what is missing ? I may have to work on a port for a mips based plateform and I wonder if I can use this feature. best regards