Hi all, 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.
Sincerely, Nkem Ogosi _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
