ibex_demo/system_handlers.c

#include <stdint.h>
#include <stdio.h>

#include "xilinx_ip_defs.h"

void Generic_ExceptionCallback(void) {
    for(;;) {
    }
}

__attribute__((interrupt)) void Generic_TimerCallback(void) {
    TIMER0->TCSR0 |= (1 << 0x08); // Clear interrupt;
    SysTick++;
}