Module os::sbi

Functions

• set_timer
  use sbi call to set timer
• shutdown
  use sbi call to shutdown the kernel