Hi Nkem,
I wanted to ask what the best way to connect to Odroid-C2 boards that run the sel4 microkernel to each other using picotcp or the preferred library for network connectivity. Is there a way to connect them wirelessly or is an ethernet connection a must?. I'm very new to the sel4 kernel so I apologise if these questions seem basic and generic.
The best way to connect to Odroid-C2 boards would be via Ethernet, but some work still needs to be done before the Ethernet can be used on the Odroid C2.
There is an Ethernet driver for the C2 [1] but this needs to be ported to our main platform support libraries, libethdrivers in util_libs [2]. If you use main rootserver/dynamic environment you can then try to link an IP stack library and start using the Ethernet drivers directly. There should be examples of this in the AOS repostiory [3].
However, if you do use CAmkES, you would need add additional files to the Ethdriver component (this is a component which abstracts a Ethernet device) [4] to add support for the C2. Lastly, once this is complete you can then take a look at the example picoserver application [5] to see how we integrate the picoTCP IP stack with our Ethdriver component to create a simple networking application.
Let us know on the mailing if you have any follow-up questions and we can help.
Regards, Damon
[1] https://github.com/SEL4PROJ/AOS/tree/master/libethernet/src [2] https://github.com/seL4/util_libs/tree/master/libethdrivers [3] https://github.com/SEL4PROJ/AOS/blob/master/sos/src/network.c#L180 [4] https://github.com/SEL4PROJ/global-components/tree/master/components/Ethdriv... (folders 'src' and 'plat') [5] https://github.com/seL4/camkes/tree/df-public/apps/picoserver