I can output to the DB9 serial port on the TWR_SER board by enabling TTYD: and doing this:
serial_fd = fopen("ttyd:", 0);
ioctl(serial_fd, IO_IOCTL_SERIAL_SET_FLAGS, &flags);
Now I want to use the Shell library, but I can't find how to direct where it interfaces. Looking at shell.c, it is calling just printf's (as opposed to fprintf(serial_fd...)). I tried launching the shell like this, but it didn't help.
How does the shell get directed?