05-25-2026, 09:30 AM
(Modification du message : 05-25-2026, 10:08 AM par Bluevelvet.)
Cellindo,
Oui un peu d'IA, c'est utile.
Pour vérifier les kernels installés et celui utilisé par défaut :
rpm -qa | grep kernel
et :
sudo grubby --info=ALL
Pour voir le kernel actuellement configuré par défaut au boot :
sudo grubby --default-kernel
Exemple de ce que donnent ces commandes :
Si le kernel RT vanilla est installé, on peut forcer Fedora à démarrer dessus avec :
sudo grubby --set-default /boot/vmlinuz-7.0.9-300.vanilla.fc44.x86_64+rt
Puis redémarrer la machine.
Après reboot, vérifier avec :
uname -r
Oui un peu d'IA, c'est utile.
Pour vérifier les kernels installés et celui utilisé par défaut :
rpm -qa | grep kernel
et :
sudo grubby --info=ALL
Pour voir le kernel actuellement configuré par défaut au boot :
sudo grubby --default-kernel
Exemple de ce que donnent ces commandes :
Code :
[direttahost@fedora ~]$ rpm -qa | grep kernel
kernel-core-7.0.8-200.fc44.x86_64
kernel-modules-core-7.0.8-200.fc44.x86_64
kernel-modules-7.0.8-200.fc44.x86_64
kernel-7.0.8-200.fc44.x86_64
kernel-rt-core-7.0.9-300.vanilla.fc44.x86_64
kernel-rt-modules-core-7.0.9-300.vanilla.fc44.x86_64
kernel-rt-modules-7.0.9-300.vanilla.fc44.x86_64
kernel-tools-libs-7.0.9-300.vanilla.fc44.x86_64
kernel-rt-7.0.9-300.vanilla.fc44.x86_64
kernel-tools-7.0.9-300.vanilla.fc44.x86_64
kernel-headers-7.0.9-300.vanilla.fc44.x86_64
[direttahost@fedora ~]$ sudo grubby --info=ALL
index=0
kernel="/boot/vmlinuz-7.0.9-300.vanilla.fc44.x86_64+rt"
index=1
kernel="/boot/vmlinuz-7.0.8-200.fc44.x86_64"
[direttahost@fedora ~]$ sudo grubby --default-kernel
/boot/vmlinuz-7.0.9-300.vanilla.fc44.x86_64+rtSi le kernel RT vanilla est installé, on peut forcer Fedora à démarrer dessus avec :
sudo grubby --set-default /boot/vmlinuz-7.0.9-300.vanilla.fc44.x86_64+rt
Puis redémarrer la machine.
Après reboot, vérifier avec :
uname -r
Le Dom Fedora server/direttaRendererUPnP/JPLAY et TUNE
Target GentooPlayer C19B horloge FranckLeRouge UpTone Audio JS-4
Audiomat Maestro 3 référence
Ampli Lampes Alexandre Okhotnikoff - ECC88 Miniwatt Dario - 5751 RCA - 6N7 RCA - Svetlana 6550 B2
Enceintes Klipschorn 60th Anniversary
Target GentooPlayer C19B horloge FranckLeRouge UpTone Audio JS-4
Audiomat Maestro 3 référence
Ampli Lampes Alexandre Okhotnikoff - ECC88 Miniwatt Dario - 5751 RCA - 6N7 RCA - Svetlana 6550 B2
Enceintes Klipschorn 60th Anniversary

