[][src]Module kernel::sched

Tock core scheduler.

Structs

Kernel

Main object for the kernel. Each board will need to create one.

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