blob: 960329217e39678273a75fdcd026c1de6b1e548d [file] [log] [blame]
#include "kint.h"
#include "serial.h"
void kmain(uint mhartid)
{
init_serial();
serial_write("Hello from Bluejay!\r\n");
while (true)
{
}
}