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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
