SPRUI30H November 2015 – May 2024 DRA745 , DRA746 , DRA750 , DRA756
Timer 0 (and associated interrupt) is exclusively reserved for BIOS software for driving the BIOS tick.
Timer 1 (and associated interrupt) is free to be used by application software.
BIOS also requires a 64-bit free-running counter with low-latency accessibility that is used during application logging. This is provided through the ARP32 free-running 64-bit counter.