[mancool]

En effet, si la PS3 lance linux, au prochain démarrage, ça sera linux par défaut.
En fait, avant de lancer linux, tu passes par un bootloader où tu peux choisir entre linux et l'os PS3.
Par contre si c'est l'os de la PS3 qui est lancé, au prochain démarrage, ça sera l'os de la PS3 par défaut.