Currently the only C API that has sub-millisecond resolution is playdate->system->getElapsedTime(void), but this returns a float. It'd be nice to have an integer based API for more accurate timing/profiling (ideally, single microsecond precision, if possible) .
2 Likes