11 extern void Interrupts_Setup(void);
12 extern void Arch_LoadBootModules(void);
13 extern void Heap_Install(void);
14 extern void Threads_Init(void);
15 extern void System_Init(const char *Commandline);
23 LogF("Acess2 ARMv7 v"EXPAND_STR(KERNEL_VERSION)"\n");
24 LogF(" Build %i\n", BUILD_NUM);
25 // Interrupts_Setup();
29 LogF("Heap Setup...\n");
32 LogF("Threads Init...\n");
35 LogF("VFS Init...\n");
39 Module_EnsureLoaded("armv7_GIC");
42 LogF("Moving to arch-independent init\n");
45 LogF("End of kmain(), for(;;) Threads_Sleep();\n");
50 void Arch_LoadBootModules(void)