Le temps passe et mine de rien, je sais de plus en plus de choses sur linux. Y compris à ça quoi sert (dans les grandes lignes) et même comment interagir avec.
Utiliser un kernel spécifique
Utiliser des paramètres personnalisés
Le plus simple est de le faire au boot, et comme j'utiliser grub comme bootloader, ça se passe dans la config de grub.
kernel.1444380587.txt.gz · Dernière modification: 2018/10/13 20:32 (modification externe)