Comment afficher les paramètres de ligne de commande du noyau Linux donnés pour le démarrage actuel?

Dans le grub.conffichier de configuration, je peux spécifier les paramètres de ligne de commande que le noyau utilisera, à savoir:

kernel /boot/kernel-3-2-1-gentoo root=/dev/sda1 vga=791

Après l’amorçage d’un noyau donné, existe-t-il un moyen d’afficher les paramètres de ligne de commande qui ont été transmis au noyau en premier lieu? J'ai trouvé sysctl,

sysctl --all

mais sysctl affiche tous les paramètres de noyau possibles.

$ cat /proc/cmdline
root=/dev/xvda xencons=tty console=tty1 console=hvc0 nosep nodevfs ramdisk_size=32768 ip_conntrack.hashsize=8192 nf_conntrack.hashsize=8192 ro  devtmpfs.mount=1 
$

Le noyau les imprime également au début du démarrage, voir:

dmesg | grep "Command line"

Exemple de sortie:

[    0.000000] Command line: BOOT_IMAGE=/vmlinuz-4.4.0-112-generic root=/dev/mapper/vg00-root ro

Cela peut être une information utile sur la série si vous piratez des choses et que le noyau panique au lieu de démarrer :-)

Related: Comment trouver les paramètres de démarrage utilisés par le noyau en cours d'exécution? | Demandez à Ubuntu