* @details Frequency of the system timer that drives the system ticks. This
* setting also defines the system tick time unit.
*/
* @details Frequency of the system timer that drives the system ticks. This
* setting also defines the system tick time unit.
*/