#include <acess.h>
#include <modules.h>
+#include "include/options.h"
// === IMPORTS ===
extern void Interrupts_Setup(void);
extern void Threads_Init(void);
extern void System_Init(const char *Commandline);
extern void Time_Setup(void);
+extern void Debug_int_SerialIRQHandler(int IRQ, void *unused);
// === PROTOTYPES ===
int kmain(void);
// Boot modules?
// - most ARMv7 configs use a GIC
Module_EnsureLoaded("armv7_GIC");
+ IRQ_AddHandler(UART0_IRQ, Debug_int_SerialIRQHandler, NULL);
Time_Setup();