Some interesting info for some - PS4 dev kit runs modified BSD. http://www.vgleaks.com/some-details-about-playstation-4-os-development/