From: Ben Pfaff Date: Sun, 9 Nov 2008 23:22:25 +0000 (-0800) Subject: Use 9600 bps for Pintos serial, to match the speed used by the loader. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=43dadfe13b843be54ac5fdc9e4496beb47af3b1f 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. --- 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;