Module os::sbi

SBI call wrappers

Constants

• SBI_CONSOLE_GETCHAR 🔒
  console getchar sbi call id
• SBI_CONSOLE_PUTCHAR 🔒
  console putchar sbi call id
• SBI_SET_TIMER 🔒
  set timer sbi call id
• SBI_SHUTDOWN 🔒
  shutdown sbi call id

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