Files
2021-04-01 20:02:31 +08:00

12 lines
165 B
C

extern void uart_init(void);
extern void uart_puts(char *s);
void start_kernel(void)
{
uart_init();
uart_puts("Hello, RVOS!\n");
while (1) {}; // stop here!
}