Ajouter une option de démarrage supplémentaire à Grub pour les extensions X32 ?

Vous pouvez ajouter foo=bar at Grub

A partir d'un terminal :

gksudo gedit /etc/default/grub

et entrez votre mot de passe.

Trouvez la ligne commençant par GRUB_CMDLINE_LINUX_DEFAULT et ajoutez foo=bar à la fin. Par exemple :

GRUB_CMDLINE_LINUX_DEFAULT="quiet splash foo=bar"

Enregistrez le fichier et fermez l'éditeur.

Enfin, démarrez un terminal et exécutez :

sudo update-grub

pour mettre à jour le fichier de configuration de Grub (vous devrez probablement entrer votre mot de passe).

Au prochain redémarrage, le noyau doit être démarré avec le paramètre boot

Source : Grub forums

Si j'ai bien compris, vous voulez trouver un moyen de choisir de démarrer avec/sans X32. Vous pouvez le faire de deux manières distinctes :

1. Selon les besoins. Démarrer, dans le menu de démarrage, appuyer sur e para edit , faire défiler jusqu'à la ligne

   linux /boot/vmlinuz-linux root=UUID=978e3e81-8048-4ae1-8a06-aa727458e8ff quiet splash

et la modifier pour qu'elle devienne

  linux /boot/vmlinuz-linux root=UUID=978e3e81-8048-4ae1-8a06-aa727458e8ff syscall.x32=y quiet 

Poursuivre le démarrage.

2. Systématiquement. Dans le répertoire /etc/grub.d/ il y a une entrée, 40_custom qui est utilisé exactement à cette fin. Vous devrez y copier une section du fichier /boot/grub/grub.cfg : la partie comprise entre menuentry Debian GNU/Linux... et la fin des brèches, } . Après l'inclusion, modifiez la ligne

    linux /boot/vmlinuz-linux root=UUID=978e3e81-8048-4ae1-8a06-aa727458e8ff quiet splash

en

     linux /boot/vmlinuz-linux root=UUID=978e3e81-8048-4ae1-8a06-aa727458e8ff syscall.x32=y quiet

N'oubliez pas non plus de modifier le nom de l'entrée de menu, en 40_custom à quelque chose de différent de votre première entrée, sinon vous ne pourrez pas distinguer les deux entrées.

Exécuter update-grub et vous avez terminé.

Si vous voulez l'option uniquement pour le dernier noyau dans le menu de haut niveau, ne mettez pas "syscall.x32=y" dans /etc/default/grub . Au lieu de cela, trouvez

linux_entry "${OS}" "${version}" simple \
"${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT}"

en /etc/grub.d/10_linux et ajoutez ceci à la suite :

linux_entry "${OS} (X32)" "${version}" simple \
"${GRUB_CMDLINE_LINUX} ${GRUB_CMDLINE_LINUX_DEFAULT} syscall.x32=y"

Exécutez ensuite update-grub pour mettre à jour /boot/grub/grub.cfg en conséquence.

De cette façon, j'ai pu démarrer le dernier noyau avec l'option "syscall.x32=y", mais je ne vois pas de différence avec le démarrage sans cette option. C'est dans Xubuntu 15.10 64-bit. Pour ce qui est de la configration qui survit après la mise à jour du paquet Grub, je ne sais pas ; peut-être que l'installation remarque un fichier de configuration personnalisé et vous donne la possibilité de le conserver. Au moins, cela survit aux mises à jour du noyau.