network on seL4

28 Jun 2017

      Hi,

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:
https://pastebin.com/MiMB0N62

Regards,
Gábor Székely

Gábor Székely

tags

participants (4)