Hello, My name is Lukas and I am currently studying in Austria. I am currently using sel4 in a student's project. We are using CAmkES to develop a small application (on the imx6-platform), and some things already work fine :-) But when it comes to networking, we are totally without results. We tried using some of the excisting libraries (libethdrivers + libplatsupport + liblwip) - but without success. My question is: Which way can I go if I want my CAmkES Apps to communicate via ethernet? Do I have to implement a driver as part of the App? As an additional library? Or somewhere else? I really couldn't figure out how to do it properly... Is there some sort of documentation or example on how to get a IP-stack up and running on sel4? Thank you for reading and helping! Lukas