1 Feb
2025
1 Feb
'25
11:07 p.m.
Anyway, can you try the hack below? it works on my own rk3399, but I don't have anything on the secure side. Please also try it by passing "irqchip.gicv3_pseudo_nmi=1" on the command-line.
Done, works in both cases now for me. If you want you can add my Tested-by and/or Reported-by.
Thanks -- Christoph