#include "uart.h"
/**
    @brief The undefined instruction interrupt handler

    If an undefined instruction is encountered, the CPU will start
    executing this function. Just trap here as a debug solution.
*/
void
__attribute__((interrupt("UNDEF")))
__attribute__((section(".interrupts.text")))
undefined_instruction_vector(void)
{
    uart_puts("Undefined instruction occured");
    while( 1 )
    {
        /* Do Nothing! */
    }
}

void __attribute__((section(".interrupts.data")))
(*system_reentry_point) (void);

void
__attribute__((interrupt("ABORT")))
__attribute__((section(".interrupts.text")))
abort_handler(void)
{
  system_reentry_point();
}