who is the producer of the device which is the operating system of playstation mobile ?
SELECT DISTINCT var_uri where brack_open dbr_PlayStation_Mobile dbo_operatingSystem var_x sep_dot var_x dbo_manufacturer var_uri brack_close