configs/stm32mp15_dhcor_basic_defconfig - u-boot - Git at Google

 #include <configs/stm32mp15_dhcor_basic.config>

 CONFIG_DEFAULT_DEVICE_TREE="st/stm32mp157a-dhcor-avenger96"
 CONFIG_OF_LIST="st/stm32mp157a-dhcor-avenger96 st/stm32mp151a-dhcor-testbench st/stm32mp153c-dhcor-drc-compact"
	#include <configs/stm32mp15_dhcor_basic.config>

	CONFIG_DEFAULT_DEVICE_TREE="st/stm32mp157a-dhcor-avenger96"
	CONFIG_OF_LIST="st/stm32mp157a-dhcor-avenger96 st/stm32mp151a-dhcor-testbench st/stm32mp153c-dhcor-drc-compact"