[Rumor] PS4 Operating System Named Orbis OS | PS4Blog.net
It’s a modified version of FreeBSD 9.0. Which is a linux based operating system. But I don’t have my hopes up that you’ll have a “other OS” option like the early days of the PS3. Would be pretty neat to have a powerful linux computer + gaming system though.
Source – vgleaks.com