Function bern_kernel::sched::set_tick_frequency

pub fn set_tick_frequency(tick_frequency: u32, clock_frequency: u32)

Set the kernel tick frequency.

Note: Must at least be called once before you start the scheduler.