A conceptual question about IPC

[Jorge Ventura]

I have been reading several papers about micro kernel and they explain how
critical the IPC design is for kernel performance, most of them point to
use of register, incomplete context switch and so on.

Here is my question: Is not possible to use the MMU and just execute a page
swap between address spaces ? Make changes in the page table is not
something fast ?
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140624/bef9e1c5/attachment.html>