[seL4] Slowpath IPC mechanism

Mon, 20 Feb 2023 13:33:44 -0800 

Hi,

I am wondering how the slowpath IPC mechanism works.
Does it use shared memory to transfer the IPC message?
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to