Today some Sony PlayStation 4 / PS4 Orbis OS development details have surfaced from VGLeaks (linked above) as follows, to quote:
"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.
We aren’t sure if this will bring again the “Other OS” functions to PlayStation 4 (remember that this option enabled PlayStation 3 to install other OS in the console like linux or windows).
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."
More PlayStation 4 News...