Le 26/01/2016 12:53, lejeczek a écrit : > .. in that expected way where newly installed kernel is set to boot as > default. > > would you suggest where to look, what to check? In /etc/sysconfig/kernel : # UPDATEDEFAULT specifies if new-kernel-pkg should make # new kernels the default UPDATEDEFAULT=yes -- Philippe BOURDEU d'AGUERRE AIME - Campus de l'INSA http://www.aime-toulouse.fr/ 135 av. de Rangueil Tél +33 561 559 885 31077 TOULOUSE Cedex 4 - FRANCE Fax +33 561 559 870