Use vectors for irq and nmi

2023-11-21 18:53:17 -08:00
parent 1714a1e6da
commit 102c4dfe8a
6 changed files with 254 additions and 325 deletions
--- a/sw/kernel/interrupts/interrupt.h
+++ b/sw/kernel/interrupts/interrupt.h
@@ -6,9 +6,6 @@
 #define BUTTON  (1 << 0)
 #define UART    (1 << 1)

-void irq_int();
-void nmi_int();
-
 void register_irq(void* addr, uint8_t irqn);

 uint8_t irq_get_status();