open_kernel/kernel/scheduler/scheduler.ads

package Scheduler is
   procedure Initialize;
end Scheduler;