use 9600 bps like the BIOS loader does

diff --git a/src/devices/serial.c b/src/devices/serial.c
index f64074a0d1482bec6654b34b8e5b5644c8a76fec..df770a724ac95c6825ed8ba7793bf99a1612c5df 100644 (file)
--- a/src/devices/serial.c
+++ b/src/devices/serial.c
@@ -69,7 +69,7 @@ init_poll (void)
   ASSERT (mode == UNINIT);
   outb (IER_REG, 0);                    /* Turn off all interrupts. */
   outb (FCR_REG, 0);                    /* Disable FIFO. */
-  set_serial (115200);                  /* 115.2 kbps, N-8-1. */
+  set_serial (9600);                    /* 9.6 kbps, N-8-1. */
   outb (MCR_REG, MCR_OUT2);             /* Required to enable interrupts. */
   intq_init (&txq);
   mode = POLL;