Hi,
I am wondering how the slowpath IPC mechanism works. Does it use shared memory to transfer the IPC message? _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
