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