SOPC drivers

Hi guys,

I plan to use eCos for a new devpt but I have some questions :

1> what is the name of my serial lines (I can't find them with their original SOPC name), neither /dev/serialn (with n=0, 1, ...), nor /dev/sern ...

2> is a SPI driver available somewhere ?

3> the sample "Hello from eCos" binary takes about 800kb (and my hard only 1 Mb) !!! Can the system easyly be scaled (down !) ?

Thanks,

-- Fred