De plus, il est impossible de changer à la volée le kernel. Chaque kernel a ses propres descripteurs d'interruption, et ses propres descripteurs de segments de données, plus l'allocateur mémoire. Si on change de kernel, toutes les données ki définissent ces structures sont effacées. De plus, pour changer le kernel, il faut exécuter son contenu. Et quand il exécute ce contenu, eh bien il réinitialise ces données, tu perds donc tout contrôle de la mémoire, et bien plus encore... De plus, le kernel lui-même est un processus. Or, ce processus est impossible à tuer. Pour changer de kernel, il faudrait lancer le nouveau kernel, et faire passer le processus de ce nouveau kernel pour le processus principal, puis tuer l'ancien processus, ce qui est impossible !!! Et pis, comme on doit réexécuter le kernel, c la même chose ke si on rebootait, donc autant rebooter