Index: kernel/generic/include/time/clock.h
===================================================================
--- kernel/generic/include/time/clock.h	(revision 80bcaed11c2e767559657092d6c13d1a7fdd449c)
+++ kernel/generic/include/time/clock.h	(revision 6fa4888bc8c769ce4699fac1eafd8f9c5d9dac46)
@@ -36,5 +36,16 @@
 #define KERN_CLOCK_H_
 
+#include <arch/types.h>
+
 #define HZ		100
+
+/** Uptime structure */
+typedef struct {
+	unative_t seconds1;
+	unative_t useconds;
+	unative_t seconds2;
+} uptime_t;
+
+extern uptime_t *uptime;
 
 extern void clock(void);