Raspberry Pi 2で現在のカーネルのコンフィグを確認する

Raspbian jessi のカーネルでは/proc/config.gz がありません。

$ ls /proc/config.gz
ls: cannot access /proc/config.gz: No such file or directory

でも以下のようにconfigs.koをロードすれば大丈夫。

$ sudo modprobe configs
$ ls /proc/config.gz
/proc/config.gz

これで現在のカーネルのコンフィグを確認できます。

$ zcat /proc/config.gz |grep IKCONFIG
CONFIG_IKCONFIG=m
CONFIG_IKCONFIG_PROC=y

ちなみに、CONFIG_IKCONFIG=y でカーネルをビルドしておくと常に/proc/config.gz があるようになります。