From f58b0085d751ed0130f8dcdb7ebac19784d462ba Mon Sep 17 00:00:00 2001
From: patacongo <patacongo@7fd9a85b-ad96-42d3-883c-3090e2eb8679>
Date: Mon, 20 Aug 2012 16:14:57 +0000
Subject: [PATCH] Changes for good auto-configuration of Micropendous3 board

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@5041 7fd9a85b-ad96-42d3-883c-3090e2eb8679
---
 nuttx/configs/Kconfig                       |  6 +++---
 nuttx/configs/micropendous3/hello/defconfig | 12 ++++++------
 2 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig
index 2f6595dbdc..fc5cf7a0ff 100644
--- a/nuttx/configs/Kconfig
+++ b/nuttx/configs/Kconfig
@@ -194,7 +194,7 @@ config ARCH_BOARD_MCU123
 		lpc214x development board. This OS is also built with the arm-elf
 		toolchain*.  The port supports serial, timer0, spi, and usb.
 
-config ARCH_BOARD_MICROPENDOUS
+config ARCH_BOARD_MICROPENDOUS3
 	bool "Opendous Micropendous 3 board"
 	depends on ARCH_CHIP_AT90USB646 || ARCH_CHIP_AT90USB647 || ARCH_CHIP_AT90USB1286 || ARCH_CHIP_AT90USB1287
 	---help---
@@ -509,7 +509,7 @@ config ARCH_BOARD
 	default "m68322evb"          if ARCH_BOARD_M68332EVB
 	default "mbed"               if ARCH_BOARD_MBED
 	default "mcu123-lpc214x"     if ARCH_BOARD_MCU123
-	default "micropendous3"      if ARCH_BOARD_MICROPENDOUS
+	default "micropendous3"      if ARCH_BOARD_MICROPENDOUS3
 	default "mirtoo"             if ARCH_BOARD_MIRTOO
 	default "mx1ads"             if ARCH_BOARD_MX1ADS
 	default "ne64badge"          if ARCH_BOARD_NE64BADGE
@@ -613,7 +613,7 @@ endif
 if ARCH_BOARD_MCU123
 source "configs/mcu123-lpc214x/Kconfig"
 endif
-if ARCH_BOARD_MICROPENDOUS
+if ARCH_BOARD_MICROPENDOUS3
 source "configs/micropendous3/Kconfig"
 endif
 if ARCH_BOARD_MIRTOO
diff --git a/nuttx/configs/micropendous3/hello/defconfig b/nuttx/configs/micropendous3/hello/defconfig
index 2f7c9fa7d2..f41c228494 100644
--- a/nuttx/configs/micropendous3/hello/defconfig
+++ b/nuttx/configs/micropendous3/hello/defconfig
@@ -71,15 +71,15 @@
 #   the delay actually is 100 seconds.
 # CONFIG_ARCH_DMA - Support DMA initialization
 #
-CONFIG_ARCH=avr
+CONFIG_ARCH="avr"
 CONFIG_ARCH_AVR=y
 CONFIG_ARCH_AT90USB=y
-CONFIG_ARCH_CHIP=at90usb
+CONFIG_ARCH_CHIP="at90usb"
 CONFIG_ARCH_CHIP_AT90USB647=y
-CONFIG_ARCH_BOARD=micropendous3
+CONFIG_ARCH_BOARD="micropendous3"
 CONFIG_ARCH_BOARD_MICROPENDOUS3=y
-CONFIG_BOARD_LOOPSPERMSEC=(8*108)
-CONFIG_DRAM_SIZE=(4*1024)
+CONFIG_BOARD_LOOPSPERMSEC=864
+CONFIG_DRAM_SIZE=4096
 CONFIG_DRAM_START=0x800100
 CONFIG_ARCH_NOINTC=y
 CONFIG_ARCH_IRQPRIO=n
@@ -282,7 +282,7 @@ CONFIG_FDCLONE_STDIO=n
 CONFIG_SDCLONE_DISABLE=y
 CONFIG_SCHED_WORKQUEUE=n
 CONFIG_SCHED_WORKPRIORITY=50
-CONFIG_SCHED_WORKPERIOD=(50*1000)
+CONFIG_SCHED_WORKPERIOD=50000
 CONFIG_SCHED_WORKSTACKSIZE=1024
 CONFIG_SIG_SIGWORK=4