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.h…
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
