Personnellement j'ai laissé activé SElinux mais je l'ai configuré en mode <<permissive>> .Bonjour,
j'ai également eu les mêmes pb apres l'install des drivers ati : gnome tres lent, pas de bordures de fenêtres, ...
==> solution : désactiver selinux : ca marche pour moi (rem : je suppose qu'il doit y avoir moyen de le laisser activé et de modifier juste qq options, mais je sais pas lesquelles ?)
Depuis plus aucun probleme avec gnome 😉