#include <panic.h>
#include <led.h>
#include <uart.h>

void
panic (const char *msg)
{
  asm ("cpsid f");

  led_on ();
  kputs_busytc ("\r\n\nKernel panic: ");
  kputs_busytc (msg);
  kputs_busytc ("\r\n\nStop.");

  while (1)
    asm ("wfi");
}