For information about setting up the VRC4375 to run with RedBoot,
consult the RedBoot User"s Guide. If using serial debugging,
the serial line runs at 38400 baud 8-N-1 and should be connected
to the debug host using the cable supplied with the board.