Here https://gitlab.henriktjader.com/ironedde/rtic_f4xx_nucleo/-/blob/rtt_timing/examples/rtt_timing.rs#L185