Как отобразить параметры командной строки ядра Linux, заданные для текущей загрузки?

В grub.confфайле конфигурации я могу указать параметры командной строки, которые будет использовать ядро, а именно:

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

После загрузки данного ядра, есть ли способ отобразить параметры командной строки, которые были переданы ядру в первую очередь? Я нашел sysctl,

sysctl --all

но sysctl показывает все возможные параметры ядра.

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

Ядро также печатает их в начале загрузки, смотрите:

dmesg | grep "Command line"

Образец вывода:

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

Это может быть полезной информацией о сериале, если вы взламываете вещи и ядро паникует вместо загрузки :-)

Связанный: Как найти параметры загрузки, используемые работающим ядром? | Спросите Ubuntu