Utiliser memmap
mer. 18 décembre 2024
- Option à ajouter au démarrage du noyau, par exemple :
memmap=0x1000$0x153FFE00C
Pour plus de détails, aller ici : https://unix.stackexchange.com/questions/777409/understanding-the-memmap-linux-parameter
- Config grub
L'option dans grub.cfg doit être échappée. Mais du coup, dans /etc/default/grub, elle doit être double-échappée (donc trois caractères d'échappement à la suite).
Exemple sur mon ordi :
...
GRUB_CMDLINE_LINUX_DEFAULT="pci=noaer memmap=0x1000\\\$0x153FFE00C"
...
En effet il faut échapper une fois dans le fichier cible grub.cfg (typiquement /boot/grub/grub.cfg), ce qui nécessite d'échapper deux fois dans /etc/default/grub.
On peut voir que la triple anti barre oblique devient une seul barre oblique dans le fichier grub.cfg :
...
linux /boot/vmlinuz-5.10.0-18-amd64 root=UUID=1t9n0z93-a4b9-0013-81aa-n052800r28p8 ro pci=noaer memmap=0x1000\$0x153FFE00C
...
- Vérification après redémarrage
Il faut d'abord vérifier que l'option a bien été passée au noyau.
Exécuter :
user@host:~/path: cat /proc/cmdline
BOOT_IMAGE=/boot/vmlinuz-5.10.0-33-amd64 root=UUID=1t9n0z93-a4b9-0013-81aa-n052800r28p8 ro pci=noaer memmap=0x1000$0x153FFE00C
- Vérification d'après les messages au démarrage
Exécuter dmesg et examiner les lignes qui suivent "user-defined physical RAM map:"
[ 0.000000] user-defined physical RAM map:
...
[ 0.000000] user: [mem 0x0000000100000000-0x0000000153ffe00b] usable
[ 0.000000] user: [mem 0x0000000153ffe00c-0x0000000153fff00b] reserved
[ 0.000000] user: [mem 0x0000000153fff00c-0x000000026effffff] usable
...
À noter que la section qui précède dans dmesg, "BIOS-provided physical RAM map", montre la carte mémoire d'après le BIOS, donc indépendamment des paramètres Linux.