Kris Kohler has posted an article on Kotaku about the PlayStation Classic, where he says:
(A listing of licenses for open-source software accessible in the PlayStation Classic’s menu said that it uses the open-source PlayStation emulator PCSX ReARMed.)
I was wondering if this was and is known by the developers.