I have write a ufficial porting scheduler for Arduino One and open a pull request https://github.com/arduino-libraries/Scheduler/pull/1 but there seems to be no.... sorry.