kernel paraméterek

Sziasztok!

Hogyan tudom lekérdezni bash-ből azokat a paramétereket, amiket a kernel kapott induláskor az isolinux-tól (pl.: nosplash, root=/dev/sda1, ill. saját definiálású stringek)?

Köszi a válaszokat előre is.