On Thu, Aug 03, 2023 at 05:03:49PM +0100, Abdellatif El Khlifi wrote:

[snip]
> diff --git a/lib/efi_loader/Kconfig b/lib/efi_loader/Kconfig
> index c5835e6ef6..19e51bf503 100644
> --- a/lib/efi_loader/Kconfig
> +++ b/lib/efi_loader/Kconfig
[snip]
> +config FFA_SHARED_MM_BUF_SIZE
> +	int "Memory size of the shared MM communication buffer"
> +	default 0

Remove the default.

> +	depends on EFI_MM_COMM_TEE

This should be EFI_MM_COMM_TEE && ARM_FFA_TRANSPORT

[snip]
> +config FFA_SHARED_MM_BUF_OFFSET
> +	int "Data offset in the shared MM communication buffer"
> +	default 0
> +	depends on EFI_MM_COMM_TEE

Same.

[snip]
> +config FFA_SHARED_MM_BUF_ADDR
> +	hex "Define the address of the shared MM communication buffer"
> +	default 0x0
> +	depends on EFI_MM_COMM_TEE

Same.

-- 
Tom