#include "exception_regs.h"


void exception_interrupt_handler (uint32_t exception_code, uint32_t interrupt_mask, exception_t *e) {
    while (1);
}