[ECOS] Serial driver for gcc

[Richard Wicks]

I have a board with a PCI interface on it and I would like to replace the 
serial driver that gcc is using with a pseudo-serial driver that uses the PCI 
interface instead.  Writing a device driver for Linux that looks like a 
serial driver will not be a problem but where I'm running into difficulty is 
finding where eCos implements it's serial driver so I can replace it.

I've been reading the documentation, but my board does not (seem to) include 
ARCH/PLATFORM/v1_3_x/src/plf_stub.c. I am using an IQ80310 board.

What file contains the serial driver for the IQ80310 board?  I assume that 
both the redboot binary as well as the application code will have to have 
their serial drivers replaced with the pseudo-driver.  Is this true?

Thanks,
-Rich