If you have multiple linux kernels with differents options in the command line in your bootloader (grub, lilo or other) and you wonder which one was used to boot, you can find out by looking in /proc/cmdline. Ex :
[root@picolo:~]# cat /proc/cmdline
ro root=LABEL=/
[root@picolo:~]#