Bonjour tout le monde,

J'ai patché un kernel Linux avec RTLinux, tout s'est très bien passé. La configuration du noyau et les make modules_install et cie également. Je cherche maintenant à tester ce noyau Linux-RTLinux, et donc à booter dessus. Il faut ainsi que je mette à jour la liste des boots possibles en passant par mon GRUB2.

Ayant placé une bZImage de nom "RTLinux" dans le répertoire /boot/ avec tous les droits, je lance la commande suivante (dans l'espoir (…)