Module scheduler_timer

Module scheduler_timer 

Source
Expand description

Scheduler Timer for enforcing Process Timeslices

Interface for use by the Kernel to configure timers which can preempt userspace processes.

Traitsยง

SchedulerTimer
Interface for the system scheduler timer.