方法一:
1.在uboot源码目录下执行make aaa_defconfig指令

2.发现打印出错误不能找到配置文件"arch/../configs/aaa_defconfig Kconfig",说明配置文件都在configs目录下
3.去configs目录下找stm32mp15开头的配置文件,就可以找到board_name

方法二:
1.打开uboot源码目录下的Makefile文件
2.搜索关键字config,找到%config标签

3. 尝试打印输出变量


4.发现$(Q)是@,起不回显的作用,在makefile中去掉$(Q)后再打印


5.发现打印输出obj=scripts/kconfig,前往该目录下的makefile去查看,搜索defconfig,定位到%_defconfig

6.打印输出变量


7.发现$(Q)同样也是@不回显,吧$(Q)去掉


8.找到配置文件再configs下,找到stm32即可