Насколько я понимаю есть только таймер. Хардварных регистров для секунд, минут, часов нету. Меня сбил с толку рисунок в мануале. это я так понимаю надо реализовывать самому?
Эт смотря для чего. У меня в LPC наоборот, из полного времени RTC собираются секунды и получается time_t результат стандартной Си функции time(NULL). Так как человеческий формат времени все равно нужен только человеку. А если кому надо... экрану там, или протоколу какому-то - пущай сам разбирает.