Function scheduler::init

source · 
pub fn init() -> Result<(), &'static str>
Expand description

Initializes the scheduler on this system using the policy set at compiler time.

Also registers a timer interrupt handler for preemptive scheduling.

Currently, there is a single scheduler policy for the whole system. The policy is selected by specifying a Rust cfg value at build time, like so:

  • make: round-robin scheduler
  • make THESEUS_CONFIG=epoch_scheduler: epoch scheduler
  • make THESEUS_CONFIG=priority_scheduler: priority scheduler