#include "stdbool.h"
#include <mini-printf.h>
#include <stdarg.h>
#include <stddef.h>
#include <stdio.h>
#include <uart.h>

volatile int panicked = false;

__attribute__((visibility("hidden"))) void __panic(const char *restrict fmt, ...) {
    va_list ap;
    va_start(ap, fmt);
    kvprintf(fmt, ap);
    va_end(ap);
    panicked = true;
    for (;;) asm volatile("wfi");
}