[PATCH 0/2] Add device tree for Asrock Paul IPMI Card

[Andrew Jeffery]

On Sun, 2026-01-25 at 15:00 -0600, Anirudh Srinivasan wrote:
> Adds support for Asrock Paul IPMI Card [1], which is an AST2500 based
> PCIe card that provides BMC functionality. The supported functionality
> is similar to the Asus Kommando IPMI Card, support for which was sent
> previously [2].

Due to ordering wrt other patches on the list this ended up with some
minor conflicts in the binding and Makefile. I've fixed those up and
applied it.

Thanks,

Andrew