On 2023-08-04, Nick Bowler <[email protected]> wrote:
> As far as I can see, this is supposed to be handled by the code in
> drivers/reset/zynqmp-reset.c driver, it is enabled by CONFIG_ARCH_ZYNQMP,
> and I have that set to "y", and it appears to be getting compiled in (that
> is, there is a drivers/reset/zynqmp-reset.o file in the build directory).
Correction: I typed zynqmp-reset.c but file is actually reset-zynqmp.c.
Cheers,
Nick