From 57744a11527034d9c59de9cb51588c7109b63cf2 Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Sun, 9 Nov 2008 15:22:25 -0800 Subject: [PATCH] Use 9600 bps for Pintos serial, to match the speed used by the loader. It is important that Pintos and its loader use the same serial speed, so that a terminal program connected to a serial port can be set to a sane speed. The ideal choice would be 115200 bps, for maximum speed, but the Pintos loader uses the BIOS to do serial output, and the BIOS supports a maximum speed of 9600 bps. From Godmar, crossported from his usb-integration-aug08 branch. --- src/devices/serial.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/devices/serial.c b/src/devices/serial.c index f64074a..df770a7 100644 --- 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; -- 2.30.2