kernel: allow platforms to override the default task switch rate

This is useful on pure swap systems for example.

diff --git a/Kernel/include/kernel.h b/Kernel/include/kernel.h
index 0e6ebef..dd23765 100644 (file)
--- a/Kernel/include/kernel.h
+++ b/Kernel/include/kernel.h
@@ -78,8 +78,11 @@ From UZI by Doug Braun and UZI280 by Stefan Nitschke.
 #endif
 
 
+#ifndef MAXTICKS
 #define MAXTICKS     10   /* Max ticks before switching out (time slice)
                             default process time slice */
+#endif
+
 // #define MAXBACK      3   /* Process time slice for tasks not connected
 //                             to the current tty */
 // #define MAXBACK2     2   /* Process time slice for background tasks */