PlayStation 4のOSは、FreeBSD 9.0ベースの「Orbis OS」と呼ばれるOSのようです(VGLeaks、slashdot)。
画像は2nd-gen development kitから起動した画面で、GNU GRUB version 2.0のブートメニューに「ORBIS OS」という文字列が確認できます。
ファイル名が表示されたキャプチャーも掲載されています。PS3のように他のOSを動かす機能が搭載されるかどうかは定かではないそうですが、FreeBSD改変バージョンが搭載されているのは興味深いですね。
PS4はx86-64ベースなのでCellベースのPS3と比較してFreeBSDを使うのが容易で、かつライセンス的にもLinuxより自由なのがFreeBSDの採用につながっているのではないかと推測されています。SonyとAMDが開発したグラフィックスドライバがFreeBSDにフィードバックされるような事もおこるのでしょうかね。