2021-08-24 14:09:29 -05:00

13 lines
206 B
C

#include <printf.h>
#include <stdint.h>
#include <isv.h>
#include <panic.h>
__attribute__((interrupt)) void spurrious_int(void *unused) {
printf("Detected spurrious interrupt, doing nothing.\n");
}