Function cerk_runtime_threading::threading_scheduler_start

pub fn threading_scheduler_start(
    start_options: StartOptions, 
    start_kernel: KernelFn
)

This is the main function to start the scheduler.

This function gets invoked in the bootstrap function in the start phase of CERK.