Yes Pedro the PS4 is powered by their modified version of BSD called Orbis.

On both the Vita and the PSTV (basically a vita you hook to your TV ) again a modified BSD called ARM Orbis ....