Module os::sbi

SBI call wrappers

Constants

• SBI_CONSOLE_GETCHAR 🔒
• SBI_CONSOLE_PUTCHAR 🔒
• SBI_SET_TIMER 🔒
• SBI_SHUTDOWN 🔒

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)
• sbi_call 🔒
  general sbi call
• set_timer
  use sbi call to set timer
• shutdown
  use sbi call to shutdown the kernel