Hi Boris,
Wouldn't it make sense to move with_libc into the critical functions that need it themselves? Or to create wrappers for them in the include files included by the components (socket.h etc.), similar to how posix just transparently wraps main() in with_libc? This way the programmer is not bothered with it at all unless it's necessary.
I like this idea. We will certainly investigate it. Thank you for the valuable feedback about the use of the 'with_libc' mechanism!
Cheers Norman