More debug output. Dump kernel process on serial line. Directly put

text in video memory.

diff --git a/kernel/proto.h b/kernel/proto.h
index b65a17144f60a935c3eda5d9b986d6c43e2808b8..5cba25df4cd78f9a66bb62dd59e346ed26c2f422 100755 (executable)
--- a/kernel/proto.h
+++ b/kernel/proto.h
@@ -15,6 +15,7 @@ _PROTOTYPE( void clock_task, (void)                                   );
 _PROTOTYPE( clock_t get_uptime, (void)                                 );
 _PROTOTYPE( void set_timer, (struct timer *tp, clock_t t, tmr_func_t f)        );
 _PROTOTYPE( void reset_timer, (struct timer *tp)                       );
+_PROTOTYPE( void ser_dump_proc, (void)                                 );
 
 /* main.c */
 _PROTOTYPE( void main, (void)                                          );
@@ -73,6 +74,8 @@ _PROTOTYPE( void put_irq_handler, (irq_hook_t *hook, int irq,
 _PROTOTYPE( void rm_irq_handler, (irq_hook_t *hook)                      );
 _PROTOTYPE( void enable_irq, (irq_hook_t *hook)                                );
 _PROTOTYPE( int disable_irq, (irq_hook_t *hook)                        );
+_PROTOTYPE( void cons_setc, (int pos, int c)                           );
+_PROTOTYPE( void cons_seth, (int pos, int n)                           );
 
 /* debug.c */
 #if DEBUG_SCHED_CHECK