diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig
index 2f6595dbd..fc5cf7a0f 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 2f7c9fa7d..f41c22849 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