]> Zhao Yanbai Git Server - minix.git/commitdiff
Poll serial line for debug output requests when do_serial_debug is true.
authorPhilip Homburg <philip@cs.vu.nl>
Mon, 23 Apr 2007 13:56:27 +0000 (13:56 +0000)
committerPhilip Homburg <philip@cs.vu.nl>
Mon, 23 Apr 2007 13:56:27 +0000 (13:56 +0000)
kernel/clock.c

index 82ef34905244fe0cf83624d97df4921813500f59..16866eb72258769f7e83e14e9c63c73be673f523 100755 (executable)
@@ -211,6 +211,10 @@ irq_hook_t *hook;
       prev_ptr = proc_ptr;                     /* store running process */
       lock_notify(HARDWARE, CLOCK);            /* send notification */
   } 
+
+  if (do_serial_debug)
+       do_ser_debug();
+
   return(1);                                   /* reenable interrupts */
 }
 
@@ -285,5 +289,3 @@ PRIVATE void load_update(void)
        kloadinfo.last_clock = realtime;
 }
 
-
-