diff --git a/configs/avr32dev1/include/board.h b/configs/avr32dev1/include/board.h
index 77d5cd5a3be..7931e352530 100755
--- a/configs/avr32dev1/include/board.h
+++ b/configs/avr32dev1/include/board.h
@@ -50,16 +50,21 @@
 /* Clocking *************************************************************************/
 /* #define AVR32_FRCOSC      15200         RCOsc frequency in Hz */
 
-#define AVR32_FOSC32         32768      /* Osc32 frequency in Hz */
-#define AVR32_OSC32STARTUP   3          /* Osc32 startup time in RCOsc periods */
+#define AVR32_FOSC32         32768      /* OSC32 frequency in Hz */
+#define AVR32_OSC32STARTUP   3          /* OSC32 startup time in RCOsc periods */
 
-#define AVR32_FOSC0          12000000   /* Osc0 frequency in Hz */
-#define AVR32_OSC0STARTUP    3          /* Osc0 startup time in RCOsc periods.
+#define AVR32_FOSC0          12000000   /* OSC0 frequency in Hz */
+#define AVR32_OSC0STARTUP    3          /* OSC0 startup time in RCOsc periods.
 
-/* #define AVR32_FOSC1       12000000      Osc1 frequency: Hz.
- * #define AVR32_OSC1STARTUP 3             Osc1 startup time in RCOsc periods.
+/* #define AVR32_FOSC1       12000000      OSC1 frequency: Hz.
+ * #define AVR32_OSC1STARTUP 3             OSC1 startup time in RCOsc periods.
  */
 
+/* Select OSC0 as the main clock */
+
+#define AVR32_CLOCK_OSC0     1
+#undef  AVR32_CLOCK_PLL0
+
 #define AVR32_CPU_CLOCK      AVR32_FOSC0
 #define AVR32_PBA_CLOCK      AVR32_FOSC0