X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=Kernel%2Farch%2Farmv7%2Fmain.c;h=de28ee87f5c0f7dffd4d67eb0cdf5dab6487cb4d;hb=c865bd1ebd2e33f0477f3f0145acb98786b1cc41;hp=37eda6821459cf56029a5003100ddda4f94965cb;hpb=f9c581641afeb556188e84428febd4011e61edc2;p=tpg%2Facess2.git

diff --git a/Kernel/arch/armv7/main.c b/Kernel/arch/armv7/main.c
index 37eda682..de28ee87 100644
--- a/Kernel/arch/armv7/main.c
+++ b/Kernel/arch/armv7/main.c
@@ -5,6 +5,7 @@
  * arch/arm7/main.c
  */
 #include <acess.h>
+#include <modules.h>
 
 // === IMPORTS ===
 extern void	Interrupts_Setup(void);
@@ -35,6 +36,7 @@ int kmain(void)
 	VFS_Init();
 
 	// Boot modules?
+	Module_EnsureLoaded("armv7_GIC");
 
 	//
 	LogF("Moving to arch-independent init\n");