Is there an Arduino interrupt-based timer library available that will work with the Neo? I need to be able to run a function at precisely-timed regular intervals. Something like DueTimer or MsTimer2 would be perfect, but these don't seem to work with the Udoo board.