we were using a 227Hz timer, which is far too slow
this library provides a clean API for drivers to request periodic timer driven calls at whatever rate they need