Xuguo,
lwip on IMX6 is already available on seL4 (I have been using it in my
project).
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.
Regards,
Fabrizio
On Wed, Aug 8, 2018 at 9:19 PM wong xuguo
Hi, I am a student fron Nanjing university, a fresh man of microkernel, specially, know very little about the seL4. Recently I accept a chellange about porting the lwip to sel4, on arch of imx6, does any one could give me a clue? I found the source of camkes does have this code, could I do something to port, to make the lwip work? What my aim is make a tcp echo server. Thank you for all of you help.
Best regards from Xuguo Wang _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel