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 ?