X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=KernelLand%2FKernel%2Farch%2Farmv7%2Fmain.c;h=903f5fc73070d64146f0194585ce2013aa7d2fc2;hb=f6417c24aede5213c856a78fc21bc3ac7e1becab;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..903f5fc7 100644
--- a/KernelLand/Kernel/arch/armv7/main.c
+++ b/KernelLand/Kernel/arch/armv7/main.c
@@ -15,6 +15,7 @@ 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);
 
 // === PROTOTYPES ===
  int	kmain(void);
@@ -39,7 +40,10 @@ int kmain(void)
 	VFS_Init();
 
 	// Boot modules?
+	// - most ARMv7 configs use a GIC
 	Module_EnsureLoaded("armv7_GIC");
+	
+	Time_Setup();
 
 	//
 	LogF("Moving to arch-independent init\n");