調べもの：make config

makeの設定インタフェース。

「make config - Google 検索」
https://www.google.com/search?q=make+config

「カーネル構築時のオプションについて | dtyler.io」
https://dtyler.io/articles/2017/12/29/about-kernel-make-config/

「Kconfig make config — The Linux Kernel documentation」
https://www.kernel.org/doc/html/latest/kbuild/kconfig.html

「Linuxカーネルのコンフィグレーション手順：実践でも役立つLPICドリル（5）（1/4 ページ） - ＠IT 」
https://atmarkit.itmedia.co.jp/ait/articles/0808/28/news129.html

「第6章 基本ターゲット」
https://manual.atmark-techno.com/dist/atmark-dist_developers_guide_ja-1.0.7/ch06