diff --git a/arch/avr/src/at32uc3/at32uc3_timerisr.c b/arch/avr/src/at32uc3/at32uc3_timerisr.c
index 7630f03d0b5..f8738d39e70 100644
--- a/arch/avr/src/at32uc3/at32uc3_timerisr.c
+++ b/arch/avr/src/at32uc3/at32uc3_timerisr.c
@@ -119,7 +119,7 @@
 
 static void rtc_waitnotbusy(void)
 {
-  while ((getreg32(AVR32_RTC_CTRL) & RTC_CTRL_BUSY) == 0);
+  while ((getreg32(AVR32_RTC_CTRL) & RTC_CTRL_BUSY) != 0);
 }
 
 /****************************************************************************
diff --git a/arch/avr/src/common/up_allocateheap.c b/arch/avr/src/common/up_allocateheap.c
index 62be64338e8..675352d5e75 100644
--- a/arch/avr/src/common/up_allocateheap.c
+++ b/arch/avr/src/common/up_allocateheap.c
@@ -68,10 +68,9 @@
  * Name: up_allocate_heap
  *
  * Description:
- *   The heap may be statically allocated by
- *   defining CONFIG_HEAP_BASE and CONFIG_HEAP_SIZE.  If these
- *   are not defined, then this function will be called to
- *   dynamically set aside the heap region.
+ *   The heap may be statically allocated by defining CONFIG_HEAP_BASE and 
+ *   CONFIG_HEAP_SIZE.  If these are not defined, then this function will be
+ *   called to dynamically set aside the heap region.
  *
  ****************************************************************************/
 
diff --git a/configs/avr32dev1/README.txt b/configs/avr32dev1/README.txt
index dfe21a20e14..341a7a69f9f 100755
--- a/configs/avr32dev1/README.txt
+++ b/configs/avr32dev1/README.txt
@@ -19,6 +19,7 @@ Contents
    - Link Address
    - Entering the ISP
    - BatchISP
+ * Reset
  * AVR32DEV1 Configuration Options
  * Configurations
 
@@ -279,6 +280,14 @@ AVR32 Bootloader
   "For further details about BatchISP commands, launch batchisp -h or see the
    help files installed with FLIP ..."
 
+Reset
+^^^^^
+
+   The AVR32DEV1 reset button is not useful for restarting the program.  It
+   seems that, after the reset, the RTC is left is a bad state and is constantly
+   busy (this might be the fault of the bootloader???).  There does not seem
+   to be any way around this except for power cycling the board.
+
 AVR32DEV1 Configuration Options
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
diff --git a/configs/avr32dev1/ostest/defconfig b/configs/avr32dev1/ostest/defconfig
index 26dd3ff00df..b67e7a30721 100755
--- a/configs/avr32dev1/ostest/defconfig
+++ b/configs/avr32dev1/ostest/defconfig
@@ -82,7 +82,7 @@ CONFIG_ARCH_BOARD=avr32dev1
 CONFIG_ARCH_BOARD_AVR32DEV1=y
 CONFIG_BOARD_LOOPSPERMSEC=1140
 CONFIG_DRAM_SIZE=(32*1024)
-CONFIG_DRAM_START=0x10000000
+CONFIG_DRAM_START=0x00000000
 CONFIG_DRAM_END=(CONFIG_DRAM_START+CONFIG_DRAM_SIZE)
 CONFIG_ARCH_NOINTC=y
 CONFIG_ARCH_IRQPRIO=y