[][src]Constant kernel::sched::KERNEL_TICK_DURATION_US

const KERNEL_TICK_DURATION_US: u32

The time a process is permitted to run before being pre-empted