[XCSSA] Update on microkernels

[xcssa@xcssa.org]

I just stumbled upon the following page by Tanenbaum (Minix, etc.) about 
microkernels.  This update to the Torvalds/Tanenbaum "debate" was 
written in May 2006.  Interesting list of microkernel OS's at the bottom 
of the page.  Mac OS X is "microkernelish" because they decided to run 
BSD and drivers in kernel space for better performance, even though the 
basic design (BSD on top of Mach) would have permitted otherwise.  I 
know that well, I can hang OS X with a particular driver.

Sorry if this was already posted here already; I can't remember.

http://www.cs.vu.nl/~ast/reliable-os/

Charles