diff --git a/arch/avr/src/at32uc3/at32uc3_timerisr.c b/arch/avr/src/at32uc3/at32uc3_timerisr.c
index f8738d39e70df8e756f91e4849fa01ce89e93070..9e1b2747b0c1728ae82443352da4afcebd4c78f3 100644
--- a/arch/avr/src/at32uc3/at32uc3_timerisr.c
+++ b/arch/avr/src/at32uc3/at32uc3_timerisr.c
@@ -48,6 +48,7 @@
 
 #include "chip.h"
 #include "at32uc3_internal.h"
+#include "at32uc3_pm.h"
 #include "at32uc3_rtc.h"
 
 /****************************************************************************
@@ -160,6 +161,18 @@ int up_timerisr(int irq, uint32_t *regs)
 void up_timerinit(void)
 {
   uint32_t regval;
+  
+  /* Enable clocking: "The clock for the RTC bus interface (CLK_RTC) is generated
+   * by the Power Manager. This clock is enabled at reset, and can be disabled
+   * in the Power Manager. It is recommended to disable the RTC before disabling
+   * the clock, to avoid freezing the RTC in an undefined state.
+   */
+
+#if 0
+  regval = getreg32(AVR32_PM_PBAMASK);
+  regval |= PM_PBAMASK_PMRTCEIC;
+  putreg32(regval, AVR32_PM_PBAMASK);
+#endif
 
   /* Configure the RTC.  Source == 32KHz OSC32 */