9 Aug
2018
9 Aug
'18
11:19 a.m.
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
2662
Age (days ago)
2785
Last active (days ago)
4 comments
4 participants
participants (4)
-
Chris Guikema -
Fabrizio Bertocci -
Leonid Meyerovich -
wong xuguo