riscv-opensbi-hello/src/kernel.c

#include "opensbi.h"

void kinit(unsigned long long hartid, void* fdt) {
	sbi_console_putchar('a');

	while(1);
}