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