Un développeur fait fonctionner Linux sur la PlayStation 5