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

Kiryl Shutsemau <[email protected]> Thu, 18 Jun 2026 16:48:21 +0100

Newsgroups	org.infradead.lists.kexec,org.infradead.lists.linux-arm-kernel,org.kernel.vger.linux-kernel
Message-ID	<ajQTC3onU0SswJOt@thinkstation>

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