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);
VFS_Init();
// Boot modules?
+ // - most ARMv7 configs use a GIC
Module_EnsureLoaded("armv7_GIC");
+
+ Time_Setup();
//
LogF("Moving to arch-independent init\n");