# =========================================================================
# Kernel
# =========================================================================
PREFERRED_PROVIDER_virtual/kernel ??= "linux-stm32mp"

# =========================================================================
# u-boot
# =========================================================================
PREFERRED_PROVIDER_virtual/bootloader ??= "u-boot-stm32mp"
PREFERRED_PROVIDER_u-boot ??= "u-boot-stm32mp"

# =========================================================================
# trusted-firmware-a
# =========================================================================
PREFERRED_PROVIDER_virtual/trusted-firmware-a ??= "tf-a-stm32mp"

# =========================================================================
# trusted-firmware-m
# =========================================================================
PREFERRED_PROVIDER_virtual/trusted-firmware-m ??= "tf-m-stm32mp"

# =========================================================================
# optee-os
# =========================================================================
PREFERRED_PROVIDER_virtual-optee-os ??= "optee-os-stm32mp"