29 Sep
2021
29 Sep
'21
3:48 p.m.
Hi Nick, Do the Linux VMs communicate with each other on top of the seL4 kernel on the Raspberry Pi 4B? What mechanism do they use to communicate? Regards, Ericka Oakes