while this data is 5 years out of date (and I was writing C++), the sdk and toolchain for PS3 and PS4 was only installable via windows (even though they're BSD platforms, go figure).

The same was true for wii/wiiU (linux under the hood) if I recall correctly. I'd be shocked if that weren't also the case for xbox* though I don't remember that specifically.