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.
from Xuguo Wang