Le mar. 5 déc. 2023 à 15:18, Jan Beulich <jbeul...@suse.com> a écrit : > > On 05.12.2023 15:14, Sébastien Chaumat wrote: > > booting kernel with "dyndbg=file drivers/gpio/* +p" > > I'm afraid this doesn't tell me anything. I'm simply not familiar with > Linux'es GPIO handling. > Thanks for your help so far. I moved the issue to linux-gpio devs :
https://marc.info/?l=linux-gpio&m=170177779023453&w=1 Sébastien