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

[Kiryl Shutsemau]

On Thu, Jun 18, 2026 at 11:46:12AM +0100, Julian Braha wrote:
> 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.

Fair. Will remove ARM64 in the next version.

> Maybe a comment instead, though I think
> it's pretty clear from the prompt...

I don't think the comment would contribute much value.

-- 
  Kiryl Shutsemau / Kirill A. Shutemov