X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Farch%2Farmv7%2Fmain.c;h=b5176b26c771f86d83941ad221fd0d646b21a524;hb=a26cf54691097b509fad23be0f0e242147f25c07;hp=248c17c5257f2aad7ac84977cf5bd5192d947ff9;hpb=48743e39650eb1ef988380e9d95f27fd40d3a9ce;p=tpg%2Facess2.git

diff --git a/KernelLand/Kernel/arch/armv7/main.c b/KernelLand/Kernel/arch/armv7/main.c
index 248c17c5..b5176b26 100644
--- a/KernelLand/Kernel/arch/armv7/main.c
+++ b/KernelLand/Kernel/arch/armv7/main.c
@@ -8,6 +8,7 @@
 
 #include <acess.h>
 #include <modules.h>
+#include "include/options.h"
 
 // === IMPORTS ===
 extern void	Interrupts_Setup(void);
@@ -15,6 +16,8 @@ extern void	Arch_LoadBootModules(void);
 extern void	Heap_Install(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);
@@ -39,7 +42,11 @@ int kmain(void)
 	VFS_Init();
 
 	// Boot modules?
+	// - most ARMv7 configs use a GIC
 	Module_EnsureLoaded("armv7_GIC");
+	IRQ_AddHandler(UART0_IRQ, Debug_int_SerialIRQHandler, NULL);
+	
+	Time_Setup();
 
 	//
 	LogF("Moving to arch-independent init\n");