Module os::sbi

Functions

• console_getchar
  use sbi call to getchar from console (qemu uart handler)
• console_putchar
  use sbi call to putchar in console (qemu uart handler)
• set_timer
  use sbi call to set timer
• shutdown
  use sbi call to shutdown the kernel