Module kernel::timer

The timer module provides functions to configure the timer interrupt.

Constants

• TICK_PER_SEC 🔒
  The number of timer ticks per second.

Functions

• enable_timer_interrupt
  Enables the system timer interrupt.
• get_time
  Returns the current system time in milliseconds.
• set_trigger
  Sets the timer interrupt trigger for the next timer tick.