lwip on IMX6 is already available on seL4 (I have been using it in my
Look at the seL4/util_libs repository. There you can find the ethernet
driver and the lwip.
Make sure to use the latest version (from master) that contains important
fixes to the driver.
On Wed, Aug 8, 2018 at 9:19 PM wong xuguo <xuguo.wong(a)gmail.com> wrote:
I am a student fron Nanjing university, a fresh man of microkernel,
know very little about the seL4.
Recently I accept a chellange about porting the lwip to sel4, on arch
does any one could give me a clue?
I found the source of camkes does have this code, could I do something
to make the lwip work? What my aim is make a tcp echo server.
Thank you for all of you help.
from Xuguo Wang
Devel mailing list