Come visualizzare i parametri della riga di comando del kernel Linux forniti per l'avvio corrente?

Nel grub.conffile di configurazione posso specificare i parametri della riga di comando che il kernel utilizzerà, ovvero:

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

Dopo aver avviato un determinato kernel, c'è un modo per visualizzare i parametri della riga di comando che sono stati passati al kernel in primo luogo? Ho trovato sysctl,

sysctl --all

ma sysctl mostra tutti i possibili parametri del kernel.

$ 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 
$

Il kernel li stampa anche all'inizio del boot, vedi:

dmesg | grep "Command line"

Uscita campione:

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

Queste possono essere utili informazioni sul seriale se stai hackerando cose e il panico del kernel invece di avviare :-)

Correlati: Come posso trovare i parametri di avvio usati dal kernel in esecuzione? | Chiedi a Ubuntu