Re: rk3399 fails to boot since v6.12.7

Christoph Fritz
2025-02-01T23:08:06Z

> 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