Module sbi

SBI call wrappers

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