BSD POSIX-compliant socket support for PicoTCP running on any OS.