[jvdh]

`It's interesting to note that the PS4 OS is also a forked FreeBSD variant as well.`

Here's a nice talk at CCC last year which explains some bits of FreeBSD in the PS4. It's mostly about hardware and how to run Linux on it, but FreeBSD gets a nice mention there too.

https://www.youtube.com/watch?v=QMiubC6LdTA