COMPATIBLE_MACHINE:append = "|stm32mp157c-dcm"

# Machine-specific configuration
OPTEEMACHINE:stm32mp157c-dcm = "stm32mp1"
OPTEEOUTPUTMACHINE:stm32mp157c-dcm = "stm32mp1"

# Device tree configuration (using the proper configuration variable)
EXTRA_OEMAKE:append:stm32mp157c-dcm = " CFG_EMBED_DTB_SOURCE_FILE=stm32mp157c-dcm.dts"