Use 9600 bps for Pintos serial, to match the speed used by the loader.
[pintos-anon] / specs / kbd /
drwxr-xr-x   ..
-rw-r--r-- 3104 abnt-keypad.html
-rw-r--r-- 17613 amstrad-s.jpg
-rw-r--r-- 49658 amstrad.jpg
-rw-r--r-- 19073 compaq_easy_access.jpg
-rw-r--r-- 14585 compaq_unkn-s.jpg
-rw-r--r-- 40939 compaq_unkn.jpg
-rw-r--r-- 25390 ibm_rapid_access.jpg
-rw-r--r-- 30870 ibm_rapid_access_II.jpg
-rw-r--r-- 12375 imb5576-2.jpg
-rw-r--r-- 83439 jp106-with-scancodes.jpg
-rw-r--r-- 109450 jp106.jpg
-rw-r--r-- 112866 jplaptop.jpg
-rw-r--r-- 17826 lk201-k.gif
-rw-r--r-- 80003 lk411-left.jpg
-rw-r--r-- 132142 lk411-right.jpg
-rw-r--r-- 13234 lk411-s.jpg
-rw-r--r-- 41903 lk411.jpg
-rw-r--r-- 13710 logitech-access.jpg
-rw-r--r-- 9550 logitech-internet-s.jpg
-rw-r--r-- 31689 logitech-internet.jpg
-rw-r--r-- 128580 m24.jpg
-rw-r--r-- 22569 m24kbd.png
-rw-r--r-- 51017 ms_office.jpg
-rw-r--r-- 15932 ncr-s.jpg
-rw-r--r-- 54651 nokia-left.jpg
-rw-r--r-- 87961 nokia-right.jpg
-rw-r--r-- 17579 nokia-s.jpg
-rw-r--r-- 31532 nokia-top.jpg
-rw-r--r-- 50388 nokia.jpg
-rw-r--r-- 9883 samsung-s.jpg
-rw-r--r-- 121310 samsung.jpg
-rw-r--r-- 19294 scancodes-1.html
-rw-r--r-- 27374 scancodes-10.html
-rw-r--r-- 11919 scancodes-11.html
-rw-r--r-- 21088 scancodes-12.html
-rw-r--r-- 6615 scancodes-13.html
-rw-r--r-- 724 scancodes-14.html
-rw-r--r-- 6199 scancodes-2.html
-rw-r--r-- 2457 scancodes-3.html
-rw-r--r-- 1343 scancodes-4.html
-rw-r--r-- 57277 scancodes-5.html
-rw-r--r-- 8369 scancodes-6.html
-rw-r--r-- 7478 scancodes-7.html
-rw-r--r-- 2281 scancodes-8.html
-rw-r--r-- 30892 scancodes-9.html
-rw-r--r-- 7677 scancodes.html
-rw-r--r-- 10202 sk2500.jpg
-rw-r--r-- 6279 table.h
-rw-r--r-- 24658 telerate-s.jpg
-rw-r--r-- 71406 telerate.jpg
-rw-r--r-- 18071 victor-s.jpg
-rw-r--r-- 152253 victor.jpg
-rw-r--r-- 4611 xt-at-switch.jpg
-rw-r--r-- 15894 xtkbd-s.jpg
-rw-r--r-- 45613 xtkbd.jpg
-rw-r--r-- 29211 yahoo912.jpg