I assume by RTC you are talking about a calendar timekeeping device like you find on some of the other eval boards. The answer is that Zynq has some hardware timers but it does not have a calender timekeeping feature that I am aware of.
If you are looking for that type of functionality, it can be added using something like the Maxim DS3231 which comes in a Pmod expansion module that can be added to one of our carrier cards that has Pmod expansion ports available. Check out the Maxim Analog essentials kit which has this RTC Pmod:
I built the custom Linux kernel (4.9) for using RTC (aim to detect the device file as /dev/rtc0). From Hardware user guide of carrier card, it is understood that RTC on carrier card is Maxim DS3231 at address 0xD0 which is attached to HDMIO I2C bus and the source lines (HDMIO_SCL, HDMIO_SDA) of HDMIO I2C bus is from ADV7511 (HDMI decoder). I feel this ADV7511 interfaces only with FPGA. Please confirm, that only through writing PL for FPGA, you can make ADV7511 functional, not from SOM, right? If so, then this the way to enable HDMIO I2C bus for RTC. As said earlier, the other way of making RTC functional only through PMOD interface. Please confirm.
Yes you are correct, this is how you make the RTC available. Kevins initial comment was back when only the PicoZed FMC V1 was available. That Carrier Card does not have a RTC available.
