I originally posted this question on Embedded Linux but maybe that was the wrong place (sorry for duplication) -- I am hoping that someone knows the magic:
Is there anyone with information (better yet a working example) on how to get the PMOD RTCC working with the 2017.4 version of PetaLinux. I am using the unmodified PetaLinux release from Digilent for the Arty Z7 -20 but the OS does not seem to recognize the RTC device. I do see a message similar to "/dev/misc/rtc not found" go by on boot. I don't want to hack around if it is just a straightforward setting to make things work. I will be most grateful for any help.