Use 9600 bps for Pintos serial, to match the speed used by the loader.
[pintos-anon] / specs / sysv-abi-update.html /
drwxr-xr-x   ..
-rw-r--r-- 33713 ch4.eheader.html
-rw-r--r-- 7774 ch4.intro.html
-rw-r--r-- 6717 ch4.reloc.html
-rw-r--r-- 44828 ch4.sheader.html
-rw-r--r-- 3595 ch4.strtab.html
-rw-r--r-- 20288 ch4.symtab.html
-rw-r--r-- 45893 ch5.dynamic.html
-rw-r--r-- 2224 ch5.intro.html
-rw-r--r-- 22507 ch5.pheader.html
-rw-r--r-- 527 ch5.prog_loading.html
-rw-r--r-- 223 contents.gif
-rw-r--r-- 2508 contents.html
-rw-r--r-- 3414 init_example.gif
-rw-r--r-- 173 next.gif
-rw-r--r-- 216 previous.gif
-rw-r--r-- 7466 revision.html
-rw-r--r-- 232 warning.gif