`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.