> 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