Use 9600 bps for Pintos serial, to match the speed used by the loader.
[pintos-anon] / src / misc /
drwxr-xr-x   ..
-rw-r--r-- 3058 bochs-2.2.6-big-endian.patch
-rwxr-xr-x 1486 bochs-2.2.6-build.sh
-rw-r--r-- 810 bochs-2.2.6-gdbstub-ENN.patch
-rw-r--r-- 1950 bochs-2.2.6-jitter.patch
-rw-r--r-- 451 bochs-2.2.6-ms-extensions.patch
-rw-r--r-- 2791 bochs-2.2.6-page-fault-segv.patch
-rw-r--r-- 702 bochs-2.2.6-paranoia.patch
-rw-r--r-- 511 bochs-2.2.6-solaris-link.patch
-rw-r--r-- 1855 bochs-2.2.6-solaris-tty.patch
-rw-r--r-- 2394 bochs-2.2.6-triple-fault.patch
-rw-r--r-- 1078 gcc-3.3.6-cross-howto
-rw-r--r-- 3176 gdb-macros