Module kernel::sched[][src]

Tock core scheduler.

Re-exports

use core::ptr;
use core::ptr::NonNull;
use callback;
use callback::AppId;
use callback::Callback;
use ipc;
use mem::AppSlice;
use memop;
use platform::mpu::MPU;
use platform::systick::SysTick;
use platform::Chip;
use platform::Platform;
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
kernel_loop

Main loop.