diff -r 2a5604621e21 extras/mini-os/console/console.c
--- a/extras/mini-os/console/console.c	Fri Oct 23 10:34:01 2009 +0100
+++ b/extras/mini-os/console/console.c	Tue Oct 27 13:28:23 2009 +0100
@@ -99,7 +99,7 @@
             saved_char = *(curr_char+1);
             *(curr_char+1) = '\n';
             part_len = curr_char - copied_ptr + 2;
-            ring_send_fn(dev, copied_ptr, part_len);
+            ring_send_fn(copied_ptr, part_len);
             *(curr_char+1) = saved_char;
             copied_ptr = curr_char+1;
             length -= part_len - 1;
@@ -112,7 +112,7 @@
         length++;
     }
     
-    ring_send_fn(dev, copied_ptr, length);
+    ring_send_fn(copied_ptr, length);
 }
 
 void print(int direct, const char *fmt, va_list args)