Not replying directly to your point, but as an aside: while the PS3 initially had a Linux install option available that ran inside a virtual machine, it wasn’t the core OS that ran the system. That’s a BSD variant developed by Sony. See https://www.playstation.com/en-us/oss/ps3/