Dear RTEMS guru, I saw a big discussion in 2002 about somebody wanted to write driver for rtl8139 network card. Is it any rtl8139 drivers available or is it a way to make the card work? Thank you, Grigori