BSS :
Ok, ça va peut-être faire contradiction mais je n'ai jamais vu d'aussi
bon exemple de micronoyau que FreeBSD...

Je pense que tu n'as pas compris quelque chose... FreeBSD n'est pas un micronoyau. FreeBSD est exactement comme Linux. Un micronoyau ce n'est certainement pas ça. Si tu veux voir un micronoyau, prends par exemple L4, Mach, ou ZeN. Ce genre de micronoyau n'est pas suffisant pour faire un OS POSIX. Il faut absolument au moins un serveur au dessus, pour fournir les services de l'OS. Par exemple, Darwin est un micronoyau (Mach) qui utilise un serveur basé sur FreeBSD, et MacOS X c'est Darwin avec toute l'API NextStep encore par dessus.