socz80: config.h updates

diff --git a/Kernel/platform-socz80/config.h b/Kernel/platform-socz80/config.h
index 4a53095..f1cd395 100644 (file)
--- a/Kernel/platform-socz80/config.h
+++ b/Kernel/platform-socz80/config.h
@@ -15,10 +15,10 @@
 #define MAX_MAPS 128
 
 #define CONFIG_BANKS   4       /* For now lets use 16K banking */
-#define TICKSPERSEC 100   /* Ticks per second */
-#define PROGBASE    ((char *)(0x0000))
-#define PROGLOAD    ((char *)(0x0100))  /* also data base */
-#define PROGTOP     ((char *)(0xF900))  /* Top of program, base of U_DATA */
+#define TICKSPERSEC 100                /* Ticks per second */
+#define PROGBASE    0x0000
+#define PROGLOAD    0x0100     /* also data base */
+#define PROGTOP     0xF900     /* Top of program, base of U_DATA */
 
 #define BOOT_TTY (512 + 1)/* Set this to default device for stdio, stderr */
                           /* In this case, the default is the first TTY device */