PlayStation 4 system software
The PlayStation 4 system software is the updatable firmware and operating system of the PlayStation 4. The operating system is Orbis OS, based on FreeBSD 9.
Source: Wikipedia
Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply.