We have some details about the development of the Playstation 4 OS.
The Operating System is called “Orbis OS”. It is a modified version of FreeBSD 9.0.
When you boot up a second-gen development kit, you will be prompted with several options, as you can see in the next captures:
More options appear when you choose startup settings:
As you can imagine you have either a console mode or a graphic mode (the one you will see in a retail Playstation 4).
Here you can see some images of the console mode and some of the files/directories in the devkit:
We’ll try to add more information in the future.