One would normally add a status="disabled"; instead of changing the compatible.
You can also completely remove the node using:
/delete-node/ _i2c_0;
I stopped using the PS7 I2C controller, it's just broken and doesn't work
reliably if you need to transmit more than a few bytes. Use one in
I'm using Zynq 7020 AMP config with Linux on CPU0 and FreeRTOS on
CPU1. ps7_i2c_0 is to be used by CPU1. What is the proper device
tree setting to use for ps7_i2c_0 in this case?
1) ps7_i2c_0: ps7-i2c@e0004000 { compatible = "invalid"; };
or
2) ps7_i2c_0: ps7-i2c@e0004000 {
bus-id =