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