My ultimate goal is to use an RTC and I have bought DS3231M PMOD so I am going to try it on MicroZed.
I have gone through Vivado and configured I2C0 on 14-15 and exported according to the link http://microzed.org/content/problem-linaro-and-i2c-devices
I am wondering what to do in kernel config? Since I am using the MIO, what do I need to do for the I2C hardware bus support? Then what to do with the driver? there is only DS3232 driver should I use it?
Then should I modify the device tree manually before build?