Citation: thellier 

Par contre les développeur tiers peuvent sur un micro-noyau changer des éléments sans avoir besoin d'avoir accès au (sources du) noyau: genre changer une .library entière ou patcher une de ses fonctions = c'est très cool et moins lourd que de recompiler le noyau à la linux ... IMHO

Enfin une fois de plus je répète mon Mantra : "L'utilisateur final l'OS il s'en fout (et le noyau encore plus) et c'est les applis disponibles qui l'intéresse" 

remplacer une lib ? ça me fait penser à SetPatch :-p

Je suis d'accord avec toi, recompiler un noyau c'est lourd et pas Amiga-friendly. Le coté microkernel me fait penser à QNX où un driver qui crash ne fait pas crasher tout le système. Je trouve ça sympa.

L'utilisateur final oui, mais si les devs passent moins de temps à coder, ils pourront produire plus et l'utilisateur est content