Al's comment bug.

diff --git a/kernel/utility.c b/kernel/utility.c
index 47fcbb460f821120b40c7c0d6a903db402b6d8be..3342d84815841736feca36319dfce6db0b811a96 100755 (executable)
--- a/kernel/utility.c
+++ b/kernel/utility.c
@@ -128,7 +128,7 @@ PRIVATE void kputc(c)
 int c;                                 /* character to append */
 {
 /* Accumulate a single character for a kernel message. Send a notification
- * the to output driver if an END_OF_KMESS is encountered. 
+ * to the output driver if an END_OF_KMESS is encountered. 
  */
   if (c != END_OF_KMESS) {
       if (do_serial_debug)