Para aquellos que no consiguen hacer funcionar el PSL1GHT, he subido el ps3 toolchain + PSL1GHT v2 ya compilados, así que solo debéis descomprimirlo, moverlo a la carpeta que queráis y añadir las variables de entorno. Lo he probado en mis dos ordenadores (con Linux Mint Debian) y me ha funcionado a la perfección. Os recomiendo descomprimirlo en /opt/ps3dev, luego abrid el fichero bashrc (~/.bashrc) y añadid estas lineas (podéis cambiar el /opt/ps3dev por la ruta que queráis):