The ticker doesn't seem to be quite right yet. At 512 Hz the uptime counter is slightly too quick, while higher frequencies tick increasingly slowly. Presumably the maths in time::set_ticker_frequency is slightly off, but it seems to emulate both of the following guides correctly:
The ticker doesn't seem to be quite right yet. At 512 Hz the uptime counter is slightly too quick, while higher frequencies tick increasingly slowly. Presumably the maths in
time::set_ticker_frequency
is slightly off, but it seems to emulate both of the following guides correctly: