Si on reprend son vieil argumentaire sur l'architecture microkernel, oui, il trouve la sécurité secondaire vs. performance pure. Sauf qu'un système qui se fait down, je ne vois pas en quoi c'est plus performant qu'un système qui assure un 9x9 uptime.