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

const KERNEL_TICK_DURATION_US: u32 = 10000

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