É oficial: PlayStation 4 roda o kernel do FreeBSD - Voxel
Embora a fabricante nunca tenha confirmado a informação, donos do PlayStation 3 sempre desconfiaram que o dispositivo adotava uma solução similar. Algo reforçado pelo fato de que, quando o produto chegou ao mercado, ele permitia realizar livremente a instalação de distribuições Linux — opção que foi totalmente eliminada em uma atualização do sistema.