v65c816: actually tick rate is 100Hz

diff --git a/Kernel/platform-v65c816/config.h b/Kernel/platform-v65c816/config.h
index be7cb02..36b2281 100644 (file)
--- a/Kernel/platform-v65c816/config.h
+++ b/Kernel/platform-v65c816/config.h
@@ -25,7 +25,7 @@
 
 #define STACK_BANKOFF  0xF5    /* F600-FCFF */
 
-#define TICKSPERSEC 10     /* Ticks per second */
+#define TICKSPERSEC 100            /* Ticks per second */
 #define MAPBASE            0x0000  /* We map from 0 */
 #define PROGBASE    0x0100  /* also data base */
 #define PROGLOAD    0x0100