*** empty log message ***

drivers/tty/tty.c

@@ -169,6 +169,8 @@ PUBLIC void main(void)
   /* Initialize the TTY driver. */
   tty_init();
 
+  printf("\n");
+
   /* Get kernel environment (protected_mode, pc_at and ega are needed). */ 
   if (OK != (s=sys_getmachine(&machine))) {
     panic("TTY","Couldn't obtain kernel environment.", s);
@@ -1503,7 +1505,6 @@ PRIVATE void tty_init()
 
   register tty_t *tp;
   int s;
-
   struct sigaction sigact;
 
   /* Initialize the terminal lines. */