[PATCH v4 3/4] drivers/firmware: add SDEI cross-CPU NMI service for arm64

[Julian Braha]

Hi Kiryl,

On 6/17/26 20:20, Kiryl Shutsemau wrote:

> +config ARM_SDEI_NMI
> +	bool "SDEI-based cross-CPU NMI service (arm64)"
> +	depends on ARM64 && ARM_SDE_INTERFACE
The dependency on ARM64 is redundant here since you already have the
dependency on ARM_SDE_INTERFACE. Maybe a comment instead, though I think
it's pretty clear from the prompt...


- Julian Braha