Index: kernel/generic/include/time/clock.h
===================================================================
--- kernel/generic/include/time/clock.h	(revision aaceebc420bd2787add67fcb464322186d7e2973)
+++ kernel/generic/include/time/clock.h	(revision 6606378f95713c7db8f7b4c99d6126e8a0b47885)
@@ -38,5 +38,5 @@
 #include <typedefs.h>
 
-#define HZ  100
+#define HZ  1000
 
 /** Uptime structure */