カーネルのconfigを一部設定変更したいと思って、menuconfigを探してみるもなかなか見つからないことが多い。
.configをテキストでざっと見つつ、メニューの階層を推測して…といままでやってたんですが、
実はmenuconfig上で検索できることを知りました。これはすごく便利。
やり方は、menuconfigのUIで"/"を入力すると検索ができます。
例えば、MAGIC_SYSRQを探した結果は以下の通り。

左側に(3)や(4)などの数字が出ているので、それに対応するキーを押すとジャンプできます。
またselected byやdependsが書かれているので、ここからどういう条件でそのメニューが有効になるか、確認ができます。
2025年8月14日 (2025/08/14 03:57)
aarch64なUbuntuでlibncurses5を導入する (2024/12/31 14:41)
U-Bootのwgetコマンドへの不具合修正パッチを投稿してみた (2024/04/20 09:04)
Raspberry Pi 4Bでは、Raspberry Pi OSとmainlineのLinux Kernelでserial0, serial1の割当が違う (2023/10/15 17:28)
最新の Linux Kernel を各環境でビルドして動かしてみる(2023/8/6) (2023/08/06 17:01)