J'ai un Dell Inspiron 17R(N7110) a priori doté de deux ports USB 2.0 et deux ports USB 3.0 sous Ubuntu 20.04 (précédemment 16.04 mais depuis lors mis à jour). Depuis le départ, mes ports USB 3.0 ne fonctionnent pas. Aucune idée si le problème est matériel ou logiciel.
Dans mes pérégrinations sur la toile, j'ai trouvé des formules magique à ajouter à la ligne GRUB_CMDLINE_LINUX_DEFAULT=
J'ai testé en ajoutant une fois iommu=soft
et une autre fois pci=nomsi,noaer
(donc pas les (…)