Thanks for suggestion. So I assume something like following will set baud rate to 9600?
uint_32 baud=9600;
FILE_PTR serial_fd = fopen("ttya:",0);
ioctl(serial_fd,IO_IOCTL_SERIAL_GET_BAUD, &baud);
Fine with me.
One more quetion "Hello World" example using prinf for output. I assume above example must use fprintf instead. Is any way to change baud rate for printf?