[][src]Module kernel::platform::systick

Interface system tick timer.

Traits

SysTick

Interface for the system tick timer.