Petite question: Comment puis-je activer le intel_iommuparamètre dans le noyau Linux? J'exécute un hôte Debian, en utilisant le chargeur de démarrage grub2. La documentation que j'ai vue dit de la modifier /boot/grub/menu.lst, ce qui ne semble pertinent que pour grub 1.x, car je n'ai pas ce...