Initialisation required for optional debugging code.

diff --git a/kernel/main.c b/kernel/main.c
index 3b29037b8b03ba372610df19e7d84e7f3073ab9e..d96799045a40aa2bf3c956ab4e8f98ba243df7b8 100755 (executable)
--- a/kernel/main.c
+++ b/kernel/main.c
@@ -142,6 +142,11 @@ PUBLIC void main()
        }
        
        /* Set ready. The HARDWARE task is never ready. */
+
+#if ENABLE_K_DEBUGGING
+       rp->p_ready = 0;
+#endif
+
        if (rp->p_nr != HARDWARE) lock_ready(rp);       
        rp->p_flags = 0;