I would like to use network (TCP) on seL4, I know that I should probably be using lwip, however I have no idea how to properly initialize it (this is the first time I'm working in such a hardware close environment), so I need some help or some kind of example, but I don't know where to look. I'm working on ia32.

I also tried to run the rumprun hello world, the compillation finishes, however I get the following output when I try to run it:

Regards,

Gábor Székely