Add skeleton of timebase manager.

1 files changed, 26 insertions, 0 deletions

diff --git a/src/include/kernel/timemgr.H b/src/include/kernel/timemgr.H
new file mode 100644
index 000000000..58381263f
--- /dev/null
+++ b/src/include/kernel/timemgr.H
@@ -0,0 +1,26 @@
+#ifndef __KERNEL_TIMEMGR_H
+#define __KERNEL_TIMEMGR_H
+
+#include <kernel/types.h>
+
+class TimeManager
+{
+    public:
+	static void init();
+	static uint64_t getTimeSliceCount()
+	    {
+		return iv_timeSlice;
+	    };
+
+    protected:
+	TimeManager() {};
+	~TimeManager() {};
+
+    private:
+	void _init();
+
+
+	static uint64_t iv_timeSlice;
+};
+
+#endif