src/kernel/isv.c


1
2
3
4
5
6
7
8
9
10
11
12

#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");
}