dragon: TICKSPERSEC is 50

The IRQ is driven by the video VSYNC and is usually 50 Hz
for most Dragons. The Tano Dragon would be 60 Hz (NTSC).

Signed-off-by: Tormod Volden <debian.tormod@gmail.com>

diff --git a/Kernel/platform-dragon/config.h b/Kernel/platform-dragon/config.h
index 485396a..68ca6bf 100644 (file)
--- a/Kernel/platform-dragon/config.h
+++ b/Kernel/platform-dragon/config.h
@@ -36,7 +36,7 @@
 extern unsigned char vt_mangle_6847(unsigned char c);
 #define VT_MAP_CHAR(x) vt_mangle_6847(x)
 
-#define TICKSPERSEC 100   /* Ticks per second */
+#define TICKSPERSEC 50   /* Ticks per second */
 /* FIXME: This will move once we put the display in the kernel bank and
    sort the banker out */
 #define PROGBASE    0x0800  /* also data base */