We have implemented a DRP with the controller CYPD3125 and the Mux PS8743B. The CYPD3125 interface to the PS8743B through the local I2C bus. We don't use the DCI interface of the PS8743B.
Is the default firmware of the CYPD3125 compatible with the PS8743B ?
May I know is there any difference between PS8740B and PS8743B? CCG3 CYPD3125 notebook firmware referring PS8740B by default. If the register of PS8743B is difference, you need update the file datamux_ctrl.c in the firmware project.
Kindly let me know if you have any concerns.