Index: kernel/generic/include/time/clock.h
===================================================================
--- kernel/generic/include/time/clock.h	(revision df4ed852a2d1b242f9bdce0a873009a2cb77cec7)
+++ kernel/generic/include/time/clock.h	(revision 771599490c9c1e7f468c40fc138f10e8ac0282dc)
@@ -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);