@Haijo7 >but the development kits for many game consoles are proprietary and require developers to sign a non disclosure agreement before they can use it.
That's a shame, but I believe another problem even for game consoles where there is no NDA required, the manufacturer will refuse to allow games to be distributed unless they're under a proprietary license and/or have DRM.

>I'd need to find some kind of workaround, like putting any code that interfaces with any game console API in a separate binary or library.
Trying to make a "GPL shim" almost always just ends in a chain of derivative works that all must be freedom respecting (the intention of the GPL family) and it doesn't make sense making it more complicated to use a GPL'd library by using something other than its standard interlace.

A potential workaround is to add an exception to say the GPLv3-or-later allowing the proprietary system libraries to ruin things (while also letting the game be published), while also releasing the source code itself as GPLv3+, allowing people to compile the software themselves freely (i.e. on GNU/Linux or against homebrew libraries on a console).