getmachine info first, then init tty.

Problem report and fix given by:
Prof: Alejandro T. Bello Ruiz <abello@macareo.pucp.edu.pe>

diff --git a/drivers/tty/tty.c b/drivers/tty/tty.c
index a38364ec3138f48a2aa973e463a7eccf5c6f39ba..505bd1f27bd383eaaef8bd9c242694acdc81c5f8 100644 (file)
--- a/drivers/tty/tty.c
+++ b/drivers/tty/tty.c
@@ -177,14 +177,14 @@ PUBLIC void main(void)
   printf("TTY\n");
 #endif
 
-  /* Initialize the TTY driver. */
-  tty_init();
-
   /* 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);
   }
 
+  /* Initialize the TTY driver. */
+  tty_init();
+
   /* Final one-time keyboard initialization. */
   kb_init_once();