#include "kernel/lib.h"
#include "kernel/riscv.h"

__attribute__((noreturn)) void panic(const char* s)
{
    // @Todo Refactor UART
    
    volatile char* kUartBase = (volatile char*)0x1000'0000;
    while (*s) *kUartBase = *s++;

    hart_halt();
}