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.


On Wed, Aug 8, 2018 at 9:19 PM wong xuguo <xuguo.wong@gmail.com> wrote:
    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