¿Cómo mostrar los parámetros de la línea de comandos del kernel de Linux dados para el arranque actual?

En el grub.confarchivo de configuración puedo especificar los parámetros de línea de comando que usará el núcleo, es decir:

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

Después de arrancar un núcleo dado, ¿hay alguna forma de mostrar los parámetros de la línea de comandos que se pasaron al núcleo en primer lugar? He encontrado sysctl

sysctl --all

pero sysctl muestra todos los parámetros posibles 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 
$

El kernel también los imprime al comienzo del arranque, vea:

dmesg | grep "Command line"

Salida de muestra:

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

Esto puede ser información útil en el serial si está pirateando cosas y el kernel entra en pánico en lugar de arrancar :-)

Relacionado: ¿Cómo encuentro los parámetros de arranque utilizados por el kernel en ejecución? El | Pregúntale a Ubuntu