Published in
ACM SIGOPS Operating Systems Review archive
Volume 43 , Issue 2 (April 2009) a paper called Factored Operating Systems (fos): The Case for a Scalable Operating System for Multicores which takes a glimpse at how servers of a micro-kernel-based system could be distributed on a grid of 1000 cores. Samuel
