`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.
Still haven't seen anything showing this, including the license for the FreeBSD kernel can mean a lot of different things. Windows did/does ship with it, I wouldn't call it a fork.
I was also surprised at the origins of DarwinBSD. I never really looked up the history and didn't realize it forked some of the code off FreeBSD.
It's interesting to note that the PS4 OS is also a forked FreeBSD variant as well.