Bug#1007837: linux: Missing gpio_zynq in arm64 debian installer initrd

[Michal Simek <michal.simek@amd.com>]

Hi,

On 2/20/25 14:33, Salvatore Bonaccorso wrote:
> Control: tags -1 + moreinfo
>
> Hi,
>
> On Mon, May 30, 2022 at 02:16:36PM +0200, Michal Simek wrote:
> > Hi,
> >
> > it should be enough to enable this option to get this driver to initrd
> >
> > CONFIG_GPIO_ZYNQ=m
>
> This is actually enabled for arm64 since 4.19.16-1. Is still something
> missing (or relevant at this point in time?).

I think at that time I didn't know how to enable one driver that's why I created 
a bug report for it based on any description. Later on I found how to do 
contribution directly and driver should be enabled from that time.

Thanks,
Michal