So, the RTC driver is not loaded into PetaLinux, but rather configured in the FSBL using the I2C driver?
Now my question is: How do I configure the FSBL to do so? I've definitely missed a step...
BTW, here are my error messages from the test_board console output:
hctosys: unable to open rtc device (rtc0)
hwclock: can't open '/dev/misc/rtc': No such file or directory
Thanks to everyone for the help,
Brad