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