The operating system powering the Playstation 4 is Orbis OS, which is a Sony spin of FreeBSD 9.0.