[ECOS] rltk8139 support

[Surendra]

Dear All,

I have downloaded ecos for i386 target from the follwoing source.
      wget --passive-ftp ftp://ecos.sourceware.org/pub/ecos/ecos-install.tcl
      sh ecos-install.tcl

My PC has Realtek 8139 NIC. I intend to build Redboot with ethernet
support, but I could not find any files related to Realtek 8139.

Can anyone tell me where I can find Realtek 8139 files?

Thanks in advance,
Surendra

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