#include <stddef.h>
#include <stdint.h>
#include <drivers/uart.h>
#include <syscon/syscon.h>

void kpanic(const char *reason){
    kprint("\n!!! PANIC!!!\n");
	kprint(reason);
	poweroff();
}

void kpanic_force() {
    kprint("\n!!! FORCE PANIC !!!\n");

    // 'ebreak' is the standard RISC-V way to trigger a debug trap.
    __asm__ volatile("ebreak");

    // 3. If no debugger is attached or we continue, kill the VM
    poweroff();

    // 4. Final halt
    while(1) {
        __asm__ volatile("wfi");
    }
}