[ECOS] Printf serial port question

["Oren Laskin" <laskin at gmail dot com>]

I had printf working, but then switched to a bigger ecos build that
included libc stdio and hardware serial drivers.  Since then I haven't
been able to get printf working.  This is the init console output.
diag_printf is working fine.

Init device '/dev/ttydiag'
Init tty channel: 0x00068158
Init device '/dev/tty0'
Init tty channel: 0x00068178
Init device '/dev/haldiag'
HAL/diag SERIAL init
Init device '/dev/ser0'
16x5x SERIAL init - dev: 42001003.6

I am running a modified virtex 4 bsp that I'm currently trying to
debug.  What I'm not sure I understand about the ecos system is the
relationship between /dev/haldiag, /dev/ttydiag, /dev/ser0, and
/dev/tty0

If I currently just have one serial port that I don't need to do
debugging on.  What should I be using?  I've dug enough into printf to
see that a buffer is being filled up, but not being emptied.  What
process is supposed to be taking that buffer and putting it out the
console?

I've compiled and run the example serial.c and I get the output from
cyg_io_write to /dev/haldiag but none of the printfs in the file.

Thanks for any help,

Oren

-- 
Before posting, please read the FAQ: http://ecos.sourceware.org/fom/ecos
and search the list archive: http://ecos.sourceware.org/ml/ecos-discuss