Arduino Due RTC

I am looking for the proper RTC library for an Arduino Due?
Thank you for any help