Bonjour tout le monde,

Je dois installer GRUB2 pour ordinateurs EFI dans ma carte micro-SD. Mais quand je tape la commande grub2-install, l'erreur suivante apparaît :
" grub2-install : error : /usr/lib/grub/x86_64-efi/modinfo.sh doesn't exist. Use --target or --directory. "

Je pense pourtant avoir suivi la bonne marche à suivre. Voici ce que j'ai fait, étape par étape :
1. Pour commencer, j'ai configuré ma carte micro-SD : j'y ai mis une partition fat32 avec le flag boot, ainsi qu'une autre (…)

Bonjour à tous,

J'ai comme projet d'« installer » (ou plus exactement de booter) un noyau Linux temps-réel. Pour ce faire, j'ai téléchargé le noyau Linux 3.14.29 et je l'ai patché avec RT Linux 3.14.29-rt26. Puis j'ai configuré le noyau ainsi patché pour ensuite le compiler, et générer son initrd… Jusque-là, tout semble bien se passer : aucune erreur ne s'affiche.

Mais (car oui, il y a un « mais », sinon ce topic n'aurait pas lieu d'être☺ ), après avoir configuré à la (…)

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 (…)