Module kernel::sched

Tock core scheduler.

Reexports

use core::nonzero::NonZero;

use core::ptr;

use memop;

use platform::Chip;

use platform::Platform;

use platform::mpu::MPU;

use platform::systick::SysTick;

use process;

use process::Process;

use process::Task;

use returncode::ReturnCode;

use syscall::Syscall;

Constants

KERNEL_TICK_DURATION_US	The time a process is permitted to run before being pre-empted
MIN_QUANTA_THRESHOLD_US	Skip re-scheduling a process if its quanta is nearly exhausted

Functions

do_process⚠