确定＜board_name＞名字

方法一：

在uboot源码目录下执行make xxx_defconfig指令，发现打印出错误不能找到配置文件"arch/../configs/xxx_defconfig Kconfig"，说明配置文件都在configs目录下

然后，去configs目录下找stm32mp15开头的配置文件，就可以找到board_name

方法二：

因为使用make进行编译的，所以能在Makefile中通过查找对应的目标文件的名称<board_name>

1.打开uboot源码目录下的Makefile文件，然后搜索关键字config，去掉$@，回显执行命令

 2.用echo查看变量打印的内容

3.回到uboot源码目录下，make xxx_defconfig