On Tue, Oct 22 2024 at 12:02, Inochi Amaoto wrote: > Add a driver for the T-HEAD C900 ACLINT SSWI device, which is an > enhanced implementation of the RISC-V ACLINT SSWI specification. > This device allows the system to send ipi via fast device interface. > > Signed-off-by: Inochi Amaoto <inochiama@xxxxxxxxx> Can someone from the RISCV folks please confirm that thtis is good to go? Thanks, tglx