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

左側に(3)や(4)などの数字が出ているので、それに対応するキーを押すとジャンプできます。
またselected byやdependsが書かれているので、ここからどういう条件でそのメニューが有効になるか、確認ができます。
投稿テスト (2026/10/27 18:41)
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)