Hey Alessandro - I'm a huge fan of WebVM + y'all's other work at Leaning Tech.
Curious - is your implementation of how you wrangled lwIP for the networking piece open source? I had previously read the article you linked elsewhere, re: networking, but would love to see the specifics of your approach there.