PicoTCP

Hello,

I've stomped onto an old post on this list, considering a port for picoTCP. https://www.mail-archive.com/genode-main%40lists.sourceforge.net/msg01976.ht...

If I understood correctly, the major concern was around the threading model.

We now have a library that provides blocking socket operations in a OS-agnostic way: https://github.com/tass-belgium/picotcp-bsd

All you would need to provide is a couple of synchronization mechanisms (- a mutex and a msgqueue/semaphore) in your own -osal module, besides the clock source and the allocator as for any ports in the stack. Feel free to ask for any information, but please keep us in cc since we are not subscribed to the mailing list.

Regards,

Daniele Lacamera