@nic900 grazie per la correzione, ero sinceramente convinto che le playstation usassero kernel linux, forse anche per il fatto che per un certo tempo si poteva davvero usare linux su ps3 ufficialmente, eppure mi sarebbe bastato aprire wikipedia per evitare il grossolano errore...