> The native operating system of the PlayStation 4 is Orbis OS, which is a fork of FreeBSD version 9.0 which was released on January 12, 2012.[6][7]
That doesn't mean it's running BSD. For example, MacOS runs a non-BSD kernel with lots of BSD networking code added on-top. It is not a BSD-based Operating System but it does use BSD code to create it's environment. I would not for a single second believe that the PS4 runs an unmodified FreeBSD kernel. There is just no upstream code to support this claim.
That doesn't mean it's running BSD. For example, MacOS runs a non-BSD kernel with lots of BSD networking code added on-top. It is not a BSD-based Operating System but it does use BSD code to create it's environment. I would not for a single second believe that the PS4 runs an unmodified FreeBSD kernel. There is just no upstream code to support this claim.