[PATCH v10 0/13] Add support for RaspberryPi RP1 PCI device using a DT overlay

[Greg Kroah-Hartman]

On Thu, May 29, 2025 at 01:23:35PM +0200, Andrea della Porta wrote:
> *** RESENDING PATCHSET SINCE LAST ONE HAS CLOBBERED SEQUENCE NUMBER ***

Then it needs to be a new version, not the same one please.

thanks,

greg k-h