here's an attempt to get some new material put into the faq... (even though i am the mod and all, it would be good to get some support)
what's the difference between a monolithic operating system kernel and a microkernel? linus torvalds and the teacher argued about that often, i think.