Diego,
i use the std Arduino Ethernet library and it works quite well, that way my sketches work on the Galileos or Edison or UNO (with the Ethernet shield in this case of course) without or with very minor changes. I use the __X86__ and PLATFORM_NAME to guard those small differences.
THe TCP/IP stack is set by the operating system and the sketch just use the IP stack In the cases of Galileo and Edisons.
thanks for the help.
AC/.
