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

左側に(3)や(4)などの数字が出ているので、それに対応するキーを押すとジャンプできます。
またselected byやdependsが書かれているので、ここからどういう条件でそのメニューが有効になるか、確認ができます。
Raspberry Pi Pico2 の RISC-V を OpenOCD でデバッグする (2025/12/31 13:47)
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)