GPL violation in Tomba! Special Edition ?

1 min read Original article ↗

Hello,

I saw in the License credits of the Nintendo Switch game « Tomba! Special Edition » that the game uses PCSX-Rearmed .

Is it a GPL violation ? I thought that GPL was incompatible with consoles because you can't publish the modified source code due to the consoles SDK NDA's ?
Also I thought that you couldn't mix GPL code with closed-source code, so how can that work when they built the game against the closed-sources consoles SDK?

Best regards,