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