bug fix

"Thomas Chen" <[email protected]> Sat, 14 Jun 2008 11:48:15 +0800

Newsgroups	gmane.comp.micro-kernel.l4.l4ka.general
Message-ID	<[email protected]>

diff -r 5348beb20d47 kernel/src/api/v4/schedule.h
--- a/kernel/src/api/v4/schedule.h      Thu Jun 12 11:41:16 2008 +0200
+++ b/kernel/src/api/v4/schedule.h      Sat Jun 14 11:14:48 2008 +0800
@@ -85,7 +85,7 @@
     void init ()
        {
                /* prio queues */
-           for(int i = 0; i < MAX_PRIO; i++)
+           for(int i = 0; i <= MAX_PRIO; i++)
                prio_queue[i] = (tcb_t *)NULL;
            max_prio = -1;
        }