"Does it also demonstrate this IPC overhead micro-kernels are often blamed for?"
That's what I'd like to know too. During a class on operating systems, the lecturer told us that IPC overhead is not much of an issue on hardware that's not utterly ancient. I'd like to see proof of that though, because IPC overhead is always brought up in articles about microkernels. With a functional Hurd, Minix and Symbian, there are enough free competitors for a nice comparison with Linux.