Hi Lukas,
For a CAmkES-based system you would generally implement a driver as its own component, or as part of another component. The component would typically be a wrapper, using the existing libraries (e.g. libethdrivers etc.) to do all the actual work.
You could have separate components for driver, network stack, etc. or put them all in one component. The component can be part of the app, or be a 'global component' (see: [1]).
We have an example of using ethernet and LWIP in CAmkES components in [2]. This is for x86 though, so not directly usable by you, but it should give you an idea of how to proceed. It also uses some customised connectors, which are an optimisation and not required to for all driver or network components.
If you haven't already, also take a look at the section of the CAmkES documentation about hardware components [3], you'll need to use those too.
[1]: https://github.com/seL4/camkes-tool/blob/master/docs/index.md#global-include...
[2]: https://github.com/seL4/camkes-vm/tree/master/components/UDPServer
[3]: https://github.com/seL4/camkes-tool/blob/master/docs/index.md#hardware-compo...
Ihor
--
Ihor Kuz
Senior Researcher
NICTA | Locked Bag 6016 | UNSW, Sydney NSW 1466
T + 61 2 8306 0582 | F +61 2 8306 0406
www.nicta.com.au l ihor.kuz@nicta.com.au
On 03/06/2015, at 8:14 AM, Haselauer Lukas - S1410304006
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 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel