Jak wyświetlić parametry wiersza polecenia jądra systemu Linux podane dla bieżącego rozruchu?

W grub.confpliku konfiguracyjnym mogę określić parametry wiersza poleceń, które będzie używane przez jądro, tj .:

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

Czy po uruchomieniu danego jądra można wyświetlić parametry wiersza poleceń, które zostały przekazane do jądra? Znalazłem sysctl,

sysctl --all

ale sysctl pokazuje wszystkie możliwe parametry jądra.

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

Jądro drukuje je również na początku rozruchu, patrz:

dmesg | grep "Command line"

Przykładowe dane wyjściowe:

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

Może to być użyteczna informacja na temat numeru seryjnego, jeśli włamujesz się do rzeczy, a jądro wpada w panikę zamiast bootowania :-)

Powiązane: Jak znaleźć parametry rozruchowe używane przez działające jądro? | Zapytaj Ubuntu