Keep in mind that the final software for the console can differ from the OS that the development kit is running. The Playstation 2 development kit was running Red Hat Linux and shipped with a custom system software once it was released. The Playstation 3 development kit was also running Red Hat Linux, but it shipped with CellOS, an operating system that has supposedly been branched off of FreeBSD during development.