Zephyr学习 - 第二章 -3：`default`、符号可见性与 `menuconfig`

02-3default、符号可见性与menuconfig验证方式Zephyr 本地文档、.config、autoconf.h、native_sim/native/64验证结论模拟确认1. 本节目标理解四个问题为什么default只是候选值而不是强制值多个default同时存在时如何选择prompt 为什么决定 symbol 是否能由用户配置如何用menuconfig查一个 symbol 的当前值、依赖和来源。2.default只是没有更强配置时的候选值实验定义config LEARN_TIMEOUT_MS int Timeout selected by ordered defaults range 100 5000 default 2000 if LEARN_VERBOSE default 500可以这样理解如果配置文件或用户已经给出合法值 - 使用用户值 否则 - 从上到下寻找第一个条件满足的 default因此条件最终值LEARN_VERBOSEy没有显式设置 timeout2000LEARN_VERBOSEn没有显式设置 timeout500配置文件显式设置 timeout123123default不是赋值锁也不会阻止用户覆盖。3. 多个default的顺序Kconfig 从上到下处理默认项使用第一个当前可用的 default。default 2000 if LEARN_VERBOSE default 500当LEARN_VERBOSEy时第一条条件成立选择 2000后面的 500 不再覆盖它。如果顺序写反default 500 default 2000 if LEARN_VERBOSE无条件的 500 总是先匹配后面的条件默认值就没有机会生效。所以通常把更具体、带条件的 default 放前面把通用 fallback 放最后。4. 实验一使用条件默认值defaults.confCONFIG_LEARN_FEATUREy CONFIG_LEARN_VERBOSEy CONFIG_LEARN_VISIBLE_VALUE42它没有设置CONFIG_LEARN_TIMEOUT_MS...因为LEARN_VERBOSEy预期 timeout 使用条件默认值 2000。构建命令cd~/project/exportZEPHYR_SDK_INSTALL_DIR/home/yff/zephyr-sdk/zephyr-sdk-0.17.1sourcezephyr/zephyr-env.sh west build\-bnative_sim/native/64\/mnt/c/study/1-zephyr/labs/ch02_kconfig\--build-dir /mnt/c/study/1-zephyr/work/ch02_defaults\-palways\---DCONF_FILEdefaults.conf west build\--build-dir /mnt/c/study/1-zephyr/work/ch02_defaults\-trun实际输出中的对应行defaults: timeout_ms2000 visible42 hidden_mirror42最终.configCONFIG_LEARN_TIMEOUT_MS2000 CONFIG_LEARN_VISIBLE_VALUE42 CONFIG_LEARN_HIDDEN_MIRROR425. 实验二显式值覆盖 defaultdefaults_override.confCONFIG_LEARN_FEATUREy CONFIG_LEARN_VERBOSEy CONFIG_LEARN_TIMEOUT_MS123 CONFIG_LEARN_VISIBLE_VALUE42虽然条件默认值 2000 仍满足但显式合法值 123 优先。west build\-bnative_sim/native/64\/mnt/c/study/1-zephyr/labs/ch02_kconfig\--build-dir /mnt/c/study/1-zephyr/work/ch02_defaults_override\-palways\---DCONF_FILEdefaults_override.conf实际输出中的对应行defaults: timeout_ms123 visible42 hidden_mirror42两个 build 的最终配置对比ch02_defaults: TIMEOUT_MS2000 ch02_defaults_override: TIMEOUT_MS123结论显式合法值 123 的优先级高于满足条件的 default 2000。6. 可见 symbol有 promptconfig LEARN_VISIBLE_VALUE int Visible source value range 1 99 default 7引号中的Visible source value就是 prompt。有 prompt 的 symbol能在menuconfig中显示在依赖满足时可以由用户修改可以在.conffragment 中赋值仍然受到类型、range 和 dependencies 约束。注意有 prompt 不代表任何时候都可见。如果depends on不满足它会暂时隐藏或不可编辑。7. 不可见 symbol没有 promptconfig LEARN_HIDDEN_MIRROR int default LEARN_VISIBLE_VALUE它只有类型没有 prompt所以是 invisible symbol。不可见 symbol不在普通menuconfig菜单中供用户直接修改不应该在 application.conf中直接赋值通常由default、select、imply或其他表达式计算适合表达内部能力、派生状态和 helper。本实验中LEARN_VISIBLE_VALUE42 ↓ default LEARN_VISIBLE_VALUE LEARN_HIDDEN_MIRROR42隐藏 symbol 仍会出现在最终.config和autoconf.h只是用户没有直接控制权。8. 错误示范给 invisible symbol 赋值hidden_invalid.confCONFIG_LEARN_VISIBLE_VALUE42 CONFIG_LEARN_HIDDEN_MIRROR99LEARN_HIDDEN_MIRROR没有 prompt配置文件中的 99 不会成为正常用户选择。最终值仍应由default LEARN_VISIBLE_VALUE得到 42并伴随赋值无效相关 warning。原则.conf主要配置有 prompt 的 visible symbolsinvisible symbols 应由 Kconfig 逻辑计算。该 warning 将在02-5集中分析。9. 运行menuconfig必须先有一个已经配置过的 build directory。本节使用west build\--build-dir /mnt/c/study/1-zephyr/work/ch02_defaults\-tmenuconfig常用操作按键作用方向键/Enter浏览和进入菜单Space切换 bool/tristate/按 symbol 名称搜索?查看当前项目帮助A显示/隐藏当前不可见 symbolS保存D保存最小配置只保留偏离默认值的 symbolQ或 Esc退出建议依次搜索LEARN_TIMEOUT_MS LEARN_VISIBLE_VALUE LEARN_HIDDEN_MIRROR LEARN_DEPENDS_CLIENT观察timeout 显示当前值 2000并能看到两个 defaultsvisible value 可以编辑hidden mirror 没有 prompt普通模式下不可直接编辑depends client 在 required backend 关闭时不可见或不可选。10.menuconfig修改的是谁交互界面保存时修改build/zephyr/.config它不会自动修改prj.conf defaults.conf Kconfig所以 menuconfig 非常适合探索配置查看 symbol 的定义位置、依赖和反向依赖临时试验某个值导出 minimal config 后再人工整理到.conf。但直接 pristine rebuild 会重新生成.config临时修改可能丢失。要永久保存应把需要的配置写回合适的.conf文件。11. 两个容易混淆的menuconfig11.1 构建 targetmenuconfigwest build-tmenuconfig这是终端交互配置界面。11.2 Kconfig 关键字menuconfigUSS 主开关写成menuconfig USS_TDK_ICU30201 bool TDK ICU30201 ...这里的menuconfig是 Kconfig 定义关键字。它表示这个 symbol 可以作为其后相关配置的菜单入口。二者名字相同但作用不同west build -t menuconfig - 启动配置界面 menuconfig FOO - 在 Kconfig 中定义可展开的菜单型 symbol12. 本节结论default 仅在没有更强用户值时提供候选值 多个 default 使用第一个条件满足的项 有 prompt symbol 对用户可见、可配置 但仍受 dependencies 控制 无 prompt invisible symbol 由 default/select/imply/表达式计算 不应在普通 .conf 中直接赋值 menuconfig 界面 编辑 build/zephyr/.config 用于探索不会自动改回源码配置 fragment13. 自测题default 2000 if VERBOSE和配置文件显式设置 123哪个优先两个 default 的条件都满足时选择哪一个Kconfig symbol 没有 prompt 意味着什么invisible symbol 是否一定不会出现在.config和autoconf.h为什么depends on不满足时有 prompt 的 symbol 仍可能不可见menuconfig 保存后修改的是prj.conf还是 build 中的.configwest build -t menuconfig与menuconfig USS_TDK_ICU30201有什么区别下一节02-4-Kconfig如何控制CMake和源码编译。