Re: [PATCH v2 2/3] irqchip: add T-HEAD C900 ACLINT SSWI driver

[Thomas Gleixner <tglx@xxxxxxxxxxxxx>]

On Thu, Oct 10 2024 at 06:44, Inochi Amaoto wrote:
> +config THEAD_C900_ACLINT_SSWI
> +	bool "THEAD C9XX ACLINT S-mode IPI Interrupt Controller"
> +	depends on RISCV
> +	select IRQ_DOMAIN_HIERARCHY

Lacks
        select GENERIC_IRQ_IPI_MUX

Other than that this looks good.

Thanks,

        tglx