Godot is MIT licensed. Are you saying that none of the games on the PlayStation store have even a single MIT/BSD/Apache licensed library in them?
The distinction you are bringing up between MIT and GPL licenses is an important one that I now know I need to understand better. Thanks.
This has happened previously, with PS3's OtherOS feature, so it's a very real concern.