PlayStation 4 OS is based on FreeBSD, so it certainly has been eyeballed quite extensively. There have been numerous jailbreaks in the past, but I can't tell how many of those were due to FreeBSD itself or just regular webkit exploits.