Add skeleton of timebase manager.

1 files changed, 2 insertions, 0 deletions

diff --git a/src/kernel/kernel.C b/src/kernel/kernel.C
index 7b119d232..2148f10b1 100644
--- a/src/kernel/kernel.C
+++ b/src/kernel/kernel.C
@@ -9,6 +9,7 @@
 #include <kernel/scheduler.H>
 #include <kernel/taskmgr.H>
 #include <kernel/vmmmgr.H>
+#include <kernel/timemgr.H>
 
 #include <stdlib.h>
 
@@ -80,6 +81,7 @@ void Kernel::memBootstrap()
 
 void Kernel::cpuBootstrap()
 {
+    TimeManager::init();
     CpuManager::init();
 }