Does anybody know what networking interface the 8051 use? My initial assumption would be Berkeley Sockets, but I want to be as sure as possible, and I couldn't find anything on the wiki or in previous posts.