Il y a eu une discussion intéressante chez Matt & co, suite à cette question: How much of microkernel ?.
Bonne lecture.