Linuxでカーネルオプションを探す方法

そのカーネルオプションってどこ？ 「そういえばと」思い立ったので、探し方をメモしておきます。 カーネルのオプションがどこで設定するか分からず、探しまくった経験がありますよね？ない？、で例えば「CONFIG_PROC_EVENTS」カーネルオプションがどこで設定できるか分からない時に簡単に探せる方法です。
まず、make menuconfigを実行します

karky7 ~ # cd /usr/src/linux
karky7 linux # make menuconfig

それから「/」キーを押すと検索入力画面になります、そこへ検索オプションを入力しエンターキーで探します。

するとこの様な画面でどこにカーネルオプションがあるか教えてくれます。

Symbol: PROC_EVENTS [=n]
Type  : boolean
Prompt: Report process events to userspace
  Defined at drivers/connector/Kconfig:14
  Depends on: CONNECTOR [=n]=y
    -> Device Drivers
      -> Connector - unified userspace <-> kernelspace linker (CONNECTOR [=n])

こんな感じで、「Device Drive」下の「Connector」だよって教えてくれます。
闇雲に探すのは止めましょう、迷子になるだけです