sys/kern/kernel_earlyprintf.c


1
2
3
4
5
6
7
8
9
10
11

#include <kernel_earlyprintf.h>
#include <sbi.h>

int
kernel_earlyputs(const char *str)
{
	do {
		sbi_console_putchar(*str);
	} while (*(str++) != '\0');
}