it seems that there is no way to change the speed/baudrate of the serial console, for example, by turning it off in /etc/ttys, and running tip(1) with different speeds has no effect, it always stays at the kernel configured speed. is this by design? danny