[amazing_jose]

What about Firebrick? the company that manufactures it says that it an in-house TCP/IP stack (I don't know if they run their own OS). http://www.firebrick.co.uk/