26 lines
1.2 KiB
PHP
26 lines
1.2 KiB
PHP
# =========================================================================
|
|
# 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"
|