ArduinoDueRTCLibraryMaster library > RTC_clock (int source); > void set_time (int hour, int minute, int second);