remove trfile from Kconfigkinetis-k20/nuttx_next

1 files changed, 125 insertions, 571 deletions

diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig
index f06c40d34..b5b03b8f5 100644
--- a/nuttx/configs/Kconfig
+++ b/nuttx/configs/Kconfig
@@ -7,7 +7,7 @@ choice
 	prompt "Select target board"
 	default ARCH_BOARD_CUSTOM
 	---help---
-		Select the board hosting the architecture.  You must first select the
+		Select the board hosting the architure.  You must first select the
 		exact MCU part number, then the boards supporting that part will
 		be available for selection.  Use ARCH_BOARD_CUSTOM to create a new
 		board configuration.
@@ -20,14 +20,6 @@ config ARCH_BOARD_AMBER
 		on the Atmel AVR ATMega128 MCU.  There is not much there yet and what is
 		there is untested due to tool-related issues.
 
-config ARCH_BOARD_ARDUINO_DUE
-	bool "Arduino Due"
-	depends on ARCH_CHIP_ATSAM3X8E
-	select ARCH_HAVE_LEDS
-	---help---
-		This options selects the Arduino DUE board featuring the Atmel
-		ATSAM3X8E MCU running at 84 MHz.
-
 config ARCH_BOARD_AVR32DEV1
 	bool "Atmel AVR32DEV1 board"
 	depends on ARCH_CHIP_AT32UC3B0256
@@ -56,27 +48,16 @@ config ARCH_BOARD_C5471EVM
 config ARCH_BOARD_CLOUDCTRL
 	bool "Darcy's CloudController stm32f10x board"
 	depends on ARCH_CHIP_STM32F107VC
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
 	---help---
-		Small network relay development board. Based on the Shenzhou IV development
+		Small network relay development board. Based on the Shenzhou IV development 
 		board design.
 
-config ARCH_BOARD_COMPALE86
-	bool "Compal e86 phone"
-	depends on ARCH_CHIP_CALYPSO
-	---help---
-		This configuration enables board support for Compal e86 phone.
-		This port derives from the Compal E88 port and was provided by Craig
-		Comstock.
-
 config ARCH_BOARD_COMPALE88
 	bool "Compal e88 phone"
 	depends on ARCH_CHIP_CALYPSO
 	---help---
-		This configuration enables board support for compal e88 phone.
-		This ports is based on patches contributed by Denis Carikli for both the
+		These directories contain the board support for compal e88 and e99 phones.
+		These ports are based on patches contributed by Denis Carikli for both the
 		compal e99 and e88.  The patches were made by Alan Carvalho de Assis and
 		Denis Carikli using the Stefan Richter's Osmocom-bb patches.
 
@@ -84,8 +65,8 @@ config ARCH_BOARD_COMPALE99
 	bool "Compal e99 phone"
 	depends on ARCH_CHIP_CALYPSO
 	---help---
-		This configuration enables board support for compal e88 and e99 phones.
-		This port is based on patches contributed by Denis Carikli for both the
+		These directories contain the board support for compal e88 and e99 phones.
+		These ports are based on patches contributed by Denis Carikli for both the
 		compal e99 and e88.  The patches were made by Alan Carvalho de Assis and
 		Denis Carikli using the Stefan Richter's Osmocom-bb patches.
 
@@ -99,16 +80,6 @@ config ARCH_BOARD_DEMOS92S12NEC64
 	port uses the m9s12x GCC toolchain.  STATUS:  (Still) under development; it
 	is code complete but has not yet been verified.
 
-config ARCH_BOARD_DK_TM4C129X
-	bool "Tiva DK-TM4C129x Connected Development Kit"
-	depends on ARCH_CHIP_TM4C129XNC
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		Tiva DK-TM4C129x Connected Development Kit featuring the
-		TM4C129XNCZAD MCU.
-
 config ARCH_BOARD_EA3131
 	bool "Embedded Artists EA3131 Development board"
 	depends on ARCH_CHIP_LPC3131
@@ -139,22 +110,6 @@ config ARCH_BOARD_EAGLE100
 		an ARM Cortex-M3 MCU, the Luminary LM3S6918. This OS is built with the
 		arm-nuttx-elf toolchain*.  STATUS:  This port is complete and mature.
 
-config ARCH_BOARD_EFM32G8XXSTK
-	bool "EFM32 Gecko Starter Kit"
-	depends on ARCH_CHIP_EFM32G890F128
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	---help---
-		This option selects the EFM32 Gecko Starter Kit (EFM32-G8XX-STK).
-
-config ARCH_BOARD_EFM32GG_STK3700
-	bool "EFM32 Giant Gecko Starter Kit"
-	depends on ARCH_CHIP_EFM32GG990F1024
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	---help---
-		This option selects the EFM32 Giant Gecko Starter Kit (EFM32GG-STK3700).
-
 config ARCH_BOARD_EKKLM3S9B96
 	bool "TI/Stellaris EKK-LM3S9B96"
 	depends on ARCH_CHIP_LM3S9B96
@@ -182,18 +137,6 @@ config ARCH_BOARD_EZ80F910200ZCO
 		development kit, eZ80F091 part, and the Zilog ZDS-II Windows command line
 		tools.  The development environment is Cygwin under WinXP.
 
-config ARCH_BOARD_FIRE_STM32
-	bool "M3 Wildfire STM32 board"
-	depends on ARCH_CHIP_STM32F103VE
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		Support for the M3 Wildfire STM32 board.  This board is based on the
-		STM32F103VET6 chip.  See http://firestm32.taobao.com .  Version 2
-		and 3 of the boards are supported but only version 2 has been
-		tested.
-
 config ARCH_BOARD_FREEDOM_KL25Z
 	bool "Freescale Freedom KL25Z"
 	depends on ARCH_CHIP_MKL25Z128
@@ -202,17 +145,9 @@ config ARCH_BOARD_FREEDOM_KL25Z
 		This is the configuration for the Freescale Freedom KL25Z board.  This
 		board has the K25Z120LE3AN chip with a built-in SDA debugger.
 
-config ARCH_BOARD_FREEDOM_KL26Z
-	bool "Freescale Freedom KL26Z"
-	depends on ARCH_CHIP_MKL26Z128
-	select ARCH_HAVE_LEDS
-	---help---
-		This is the configuration for the Freescale Freedom KL26Z board.  This
-		board has the K26Z128VLH4 chip with a built-in SDA debugger.
-
 config ARCH_BOARD_HYMINI_STM32V
 	bool "HY-Mini STM32v board"
-	depends on ARCH_CHIP_STM32F103VC
+	depends on ARCH_CHIP_STM32F103VCT6
 	select ARCH_HAVE_LEDS
 	select ARCH_HAVE_BUTTONS
 	select ARCH_HAVE_IRQBUTTONS
@@ -287,18 +222,16 @@ config ARCH_BOARD_LPC4330_XPLORER
 	select ARCH_HAVE_BUTTONS
 	select ARCH_HAVE_IRQBUTTONS
 	---help---
-		NXG Technologies LPC4330 Xplorer board.  This board is based on the
+		NXG Technologoies LPC4330 Xplorer board.  This board is based on the
 		LPC4330FET100.  The Code Red toolchain is used by default.
 
-config ARCH_BOARD_LPC4357_EVB
-	bool "NXP LPC4357-EVB"
-	depends on ARCH_CHIP_LPC4357FET256
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
+config ARCH_BOARD_M68332EVB
+	bool "Motoroloa M68332EVB"
+	depends on ARCH_M68332
 	---help---
-		NXP Technologies LPC4357 EVB board.  This board is based on the
-		LPC4357FET256.
+		This is a work in progress for the venerable m68322evb board from
+		Motorola. This OS is also built with the arm-nuttx-elf toolchain.  STATUS:
+		This port was never completed.
 
 config ARCH_BOARD_MBED
 	bool "mbed LCP1768"
@@ -309,9 +242,9 @@ config ARCH_BOARD_MBED
 		that features the NXP LPC1768 microcontroller. This OS is also built
 		with the arm-nuttx-elf toolchain*.  STATUS:  Contributed.
 
-config ARCH_BOARD_MCU123_LPC214X
+config ARCH_BOARD_MCU123
 	bool "mcu123.com LPC2148 Development Board"
-	depends on ARCH_CHIP_LPC214X
+	depends on ARCH_CHIP_LPC2148
 	select ARCH_HAVE_LEDS
 	---help---
 		This port is for the NXP LPC2148 as provided on the mcu123.com
@@ -326,15 +259,6 @@ config ARCH_BOARD_MICROPENDOUS3
 		be populated with either an AVR AT90USB646, 647, 1286, or 1287 MCU.
 		Support is configured for the AT90USB647.
 
-config ARCH_BOARD_MOTEINO_MEGA
-	bool "LowPowerLab MoteinoMEGA"
-	depends on ARCH_CHIP_ATMEGA1284P
-	select ARCH_HAVE_LEDS
-	---help---
-		This is placeholder for the LowPowerLab MoteinoMEGA that is based
-		on the Atmel AVR ATMega1284P MCU.  There is not much there yet and what is
-		there is untested due to tool-related issues.
-
 config ARCH_BOARD_MX1ADS
 	bool "Motorola MX1ADS development board"
 	depends on ARCH_CHIP_IMX1
@@ -394,18 +318,6 @@ config ARCH_BOARD_LPC1766STK
 		This port uses the Olimex LPC1766-STK board and a GNU GCC toolchain* under
 		Linux or Cygwin.  STATUS: Complete and mature.
 
-config ARCH_BOARD_MAPLE
-	bool "maple board"
-	depends on ARCH_CHIP_STM32F103RB || ARCH_CHIP_STM32F103CB
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		A configuration for the LeafLab's Maple and Maple Mini boards.
-		These boards are based on the STM32F103RBT6 chip for the standard
-		version and on the STM32F103CBT6 for the mini version
-		(See http://leaflabs.com/docs/hardware/maple.html)
-
 config ARCH_BOARD_MIRTOO
 	bool "Mirtoo PIC32 Module from Dimitech"
 	depends on ARCH_CHIP_PIC32MX250F128D
@@ -419,18 +331,10 @@ config ARCH_BOARD_NUTINY_NUC120
 	depends on ARCH_CHIP_NUC120LE3AN
 	select ARCH_HAVE_LEDS
 	---help---
-		This is the port to the Nuvoton NuTiny EVB 120 board.  This board uses a
+		This is the port to the Nuvoton NuTiny EVB 120 board.  This board uses a 
 		Nuvoton NUC120 chip, specifically the NUC120LE3AN.  See http://www.nuvoton.com/
 		for further information.
 
-config ARCH_BOARD_OLIMEX_EFM32G880F128_STK
-	bool "Olimex EFM32G880F128 STK"
-	depends on ARCH_CHIP_EFM32G880F128
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		This options selects the Olimex EFM32G880F128 STK
-
 config ARCH_BOARD_OLIMEXLPC2378
 	bool "Olimex-lpc2378 board"
 	depends on ARCH_CHIP_LPC2378
@@ -440,14 +344,6 @@ config ARCH_BOARD_OLIMEXLPC2378
 		Linux or Cygwin.  STATUS: ostest and NSH configurations available.
 		This port for the NXP LPC2378 was contributed by Rommel Marcelo.
 
-config ARCH_BOARD_OLIMEX_LPC_H3131
-	bool "Olimex LPC-H3131 Development board"
-	depends on ARCH_CHIP_LPC3131
-	select ARCH_HAVE_LEDS
-	---help---
-		Olimex LPC-H3131 development board.  This board is based on the the
-		NXP LPC3131 MCU.
-
 config ARCH_BOARD_OLIMEX_STRP711
 	bool "Olimex STR-P711 board"
 	depends on ARCH_CHIP_STR71X
@@ -459,18 +355,6 @@ config ARCH_BOARD_OLIMEX_STRP711
 		further information.  STATUS: Configurations for the basic OS test and NSH
 		are complete and verified.
 
-config ARCH_BOARD_OLIMEX_STM32H405
-	bool "Olimex STM32 H405 board"
-	depends on ARCH_CHIP_STM32F405RG
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		This port uses the Olimex STM32 H405 board and a GNU arm-nuttx-elf
-		toolchain* under Linux or Cygwin. See the http://www.olimex.com for
-		further information. This board features the STMicro STM32F405RGT6
-		MCU.
-
 config ARCH_BOARD_OLIMEX_STM32P107
 	bool "Olimex STM32 P107 board"
 	depends on ARCH_CHIP_STM32F107VC
@@ -479,17 +363,6 @@ config ARCH_BOARD_OLIMEX_STM32P107
 		Linux or Cygwin. See the http://www.olimex.com for further information. This
 		board features the STMicro STM32F107VC MCU
 
-config ARCH_BOARD_OLIMEX_STM32P207
-	bool "Olimex STM32 P207 board"
-	depends on ARCH_CHIP_STM32F207ZE
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		This port uses the Olimex STM32 P207 board and a GNU arm-nuttx-elf toolchain* under
-		Linux or Cygwin. See the http://www.olimex.com for further information. This
-		 board features the STMicro STM32F207ZE MCU
-
 config ARCH_BOARD_OPEN1788
 	bool "Wave Share Open1788"
 	depends on ARCH_CHIP_LPC1788
@@ -539,21 +412,8 @@ config ARCH_BOARD_PCBLOGICPIC32MX
 		STATUS:  Code complete but testing has been stalled due to tool related problems
 		(PICkit 2 does not work with the PIC32).
 
-config ARCH_BOARD_PCDUINO_A10
-	bool "pcDuino A10"
-	depends on ARCH_CHIP_A10
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		This is the port of NuttX to the Allwinner A10-based pcDuino v1
-		board.  See http://www.pcduino.com/ for information about pcDuino Lite, v1,
-		and v2.  I have not compared these boards in detail, but I believe that
-		the differences are cosmetic.  This port was developed on the v1 board,
-		but the others may be compatible.
-
-config ARCH_BOARD_PIC32MX_STARTERKIT
-	bool "Microchip PIC32MX Ethernet Starter Kit (DM320004)"
+config ARCH_BOARD_PIC32_STARTERKIT
+	bool "Microchip PIC32 Ethernet Starter Kit (DM320004)"
 	depends on ARCH_CHIP_PIC32MX795F512L
 	select ARCH_HAVE_LEDS
 	---help---
@@ -561,7 +421,7 @@ config ARCH_BOARD_PIC32MX_STARTERKIT
 		(DM320004) with the Multimedia Expansion Board (MEB, DM320005).
 		See www.microchip.com for further information.
 
-config ARCH_BOARD_PIC32MX7MMB
+config ARCH_BOARD_PIC32_PIC32MX7MMB
 	bool "Mikroelektronika PIC32MX7 MMB"
 	depends on ARCH_CHIP_PIC32MX795F512L
 	select ARCH_HAVE_LEDS
@@ -569,22 +429,6 @@ config ARCH_BOARD_PIC32MX7MMB
 		This is the port NuttX to the Mikroelektronika PIC32MX7 Multimedia Board
 		(MMB).  See http://www.mikroe.com/ for further information.
 
-config ARCH_BOARD_PIC32MZ_STARTERKIT
-	bool "Microchip PIC32MZ Ethernet Starter Kit ((DM320006)"
-	depends on ARCH_CHIP_PIC32MZ2048ECH || ARCH_CHIP_PIC32MZ2048ECM
-	select ARCH_HAVE_LEDS
-	---help---
-		This is the port of NuttX to the Microchip PIC32MZ Embedded
-		Connectivity (EC) Starter Kit.  There are two configurations of the
-		starter kit:
-
-		1) The PIC32MZ Embedded Connectivity Starter Kit based on the
-		   PIC32MZ2048ECH144-I/PH chip (DM320006), and
-		2) The PIC32MZ Embedded Connectivity Starter Kit based on the
-		   PIC32MZ2048ECM144-I/PH w/Crypto Engine (DM320006-C)
-
-		See www.microchip.com for further information.
-
 config ARCH_BOARD_PIRELLI_DPL10
 	bool "Pirelli DPL10 phone"
 	depends on ARCH_CHIP_CALYPSO
@@ -592,25 +436,13 @@ config ARCH_BOARD_PIRELLI_DPL10
 		This directory contains the board support for Pirelli dpl10 phones.  The
 		additions were made by Craig Comstock (with help form Alan Carvalho de Assis).
 
-config ARCH_BOARD_NUCLEO_F401RE
-	bool "STM32F401 Nucleo F401RE"
-	depends on ARCH_CHIP_STM32F401RE
+config ARCH_BOARD_PJRC_87C52
+	bool "PJRC 87C52 development system"
+	depends on ARCH_CHIP_8052
 	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
 	---help---
-		This is a minimal configuration that supports low-level test of the
-		Nucleo F401RE in the NuttX source tree.
-
-config ARCH_BOARD_NUCLEO_F411RE
-	bool "STM32F411 Nucleo F411RE"
-	depends on ARCH_CHIP_STM32F411RE
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		This is a minimal configuration that supports low-level test of the
-		Nucleo F411RE in the NuttX source tree.
+		8051 Microcontroller.  This port uses the PJRC 87C52 development system
+		and the SDCC toolchain.   This port is not quite ready for prime time.
 
 config ARCH_BOARD_QEMU_I486
 	bool "Qemu i486 Mode"
@@ -632,67 +464,15 @@ config ARCH_BOARD_RGMP
 		See http://rgmp.sourceforge.net/wiki/index.php/Main_Page for further information
 		about RGMP.
 
-config ARCH_BOARD_SAMA5D3X_EK
-	bool "Atmel SAMA5D3x-EK development board"
-	depends on ARCH_CHIP_ATSAMA5D31 || ARCH_CHIP_ATSAMA5D33 || ARCH_CHIP_ATSAMA5D34 || ARCH_CHIP_ATSAMA5D35
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	select ARCH_PHY_INTERRUPT if NETDEVICES
-	---help---
-		The port of NuttX to the Atmel SAMA5D3x-EK development board (where x=1,3,4, or 5).
-
-config ARCH_BOARD_SAMA5D3_XPLAINED
-	bool "Atmel SAMA5D3 Xplained development board"
-	depends on ARCH_CHIP_ATSAMA5D36
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	select ARCH_PHY_INTERRUPT if NETDEVICES
-	---help---
-		The port of NuttX to the Atmel SAMA5D3 Xplained development board.
-
-config ARCH_BOARD_SAMA5D4_EK
-	bool "Atmel SAMA5D4-EK development board"
-	depends on ARCH_CHIP_ATSAMA5D44
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	select ARCH_PHY_INTERRUPT if NETDEVICES
-	---help---
-		The port of NuttX to the Atmel SAMA5D4-EK development board
-
-config ARCH_BOARD_SAMD20_XPLAINED
-	bool "Atmel SAMD20-Xplained Pro development board"
-	depends on ARCH_CHIP_SAMD20J18
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		The port of NuttX to the Atmel SAMD20-Xplained Pro development board.
-		This board features the ATSAMD20J18A MCU (Cortex-M0+ with 256KB of FLASH
-		and 32KB of SRAM).
-
 config ARCH_BOARD_SAM3UEK
 	bool "Atmel SAM3U-EK development board"
-	depends on ARCH_CHIP_ATSAM3U4E
+	depends on ARCH_CHIP_AT91SAM3U4E
 	select ARCH_HAVE_LEDS
 	select ARCH_HAVE_BUTTONS
 	select ARCH_HAVE_IRQBUTTONS
 	---help---
 		The port of NuttX to the Atmel SAM3U-EK development board.
 
-config ARCH_BOARD_SAM4EEK
-	bool "Atmel SAM4E-EK development board"
-	depends on ARCH_CHIP_ATSAM4E16E
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	select ARCH_PHY_INTERRUPT if NETDEVICES
-	---help---
-		The port of NuttX to the Atmel SAM4E-EK development board.  This
-		board features the SAM4E16 MCU running at up to 120MHz.
-
 config ARCH_BOARD_SAM4L_XPLAINED
 	bool "Atmel SAM4L-Xplained Pro development board"
 	depends on ARCH_CHIP_ATSAM4LC4C
@@ -702,15 +482,6 @@ config ARCH_BOARD_SAM4L_XPLAINED
 	---help---
 		The port of NuttX to the Atmel SAM4L-Xplained Pro development board.
 
-config ARCH_BOARD_SAM4S_XPLAINED_PRO
-	bool "Atmel SAM4S-Xplained Pro development board"
-	depends on ARCH_CHIP_ATSAM4SD32C
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		The port of NuttX to the Atmel SAM4S-Xplained Pro development board.
-
 config ARCH_BOARD_SAM4S_XPLAINED
 	bool "Atmel SAM4S-Xplained development board"
 	depends on ARCH_CHIP_ATSAM4S16C
@@ -741,17 +512,6 @@ config ARCH_BOARD_SKP16C26
 		uses the GNU m32c toolchain.  STATUS:  The port is complete but untested
 		due to issues with compiler internal errors.
 
-config ARCH_BOARD_SPARK
-	bool "Spark Core"
-	depends on ARCH_CHIP_STM32F103CB
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		A configuration for the Spark Core from Spark Devices
-		(http://www.spark.io).  This board features the STM32103CBT6
-		MCU from STMicro.
-
 config ARCH_BOARD_STM32_TINY
 	bool "STM32-Tiny board"
 	depends on ARCH_CHIP_STM32F103C8
@@ -763,7 +523,7 @@ config ARCH_BOARD_STM32_TINY
 
 config ARCH_BOARD_STM3210E_EVAL
 	bool "STMicro STM3210E-EVAL development board"
-	depends on ARCH_CHIP_STM32F103ZE
+	depends on ARCH_CHIP_STM32F103ZET6
 	select ARCH_HAVE_LEDS
 	select ARCH_HAVE_BUTTONS
 	select ARCH_HAVE_IRQBUTTONS
@@ -793,6 +553,15 @@ config ARCH_BOARD_STM3240G_EVAL
 		microcontroller (ARM Cortex-M4 with FPU).  This port uses a GNU Cortex-M4
 		toolchain (such as CodeSourcery).
 
+config ARCH_BOARD_STM32F100RC_GENERIC
+	bool "STMicro STM32F100RC generic board"
+	depends on ARCH_CHIP_STM32F100RC
+	select ARCH_HAVE_LEDS
+	select ARCH_HAVE_BUTTONS
+	select ARCH_HAVE_IRQBUTTONS
+	---help---
+		STMicro STM32F100RC generic board.
+
 config ARCH_BOARD_STM32F3_DISCOVERY
 	bool "STMicro STM32F3-Discovery board"
 	depends on ARCH_CHIP_STM32F303VC
@@ -811,15 +580,6 @@ config ARCH_BOARD_STM32F4_DISCOVERY
 	---help---
 		STMicro STM32F4-Discovery board based on the STMicro STM32F407VGT6 MCU.
 
-config ARCH_BOARD_STM32F429I_DISCO
-	bool "STMicro STM32F429I-Discovery board"
-	depends on ARCH_CHIP_STM32F429Z
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		STMicro STM32F429I-Discovery board based on the STMicro STM32F429ZIT6 MCU.
-
 config ARCH_BOARD_STM32L_DISCOVERY
 	bool "STMicro STM32L-Discovery board"
 	depends on ARCH_CHIP_STM32L152RB
@@ -829,15 +589,6 @@ config ARCH_BOARD_STM32L_DISCOVERY
 	---help---
 		STMicro STM32L-Discovery board based on the STMicro STM32L152RB MCU.
 
-config ARCH_BOARD_STM32VL_DISCOVERY
-	bool "STMicro STM32VL-Discovery board"
-	depends on ARCH_CHIP_STM32F100RB
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		STMicro STM32VL-Discovery board based on the STMicro STM32F100RB MCU.
-
 config ARCH_BOARD_MIKROE_STM32F4
 	bool "MikroElektronika Mikromedia for STM32F4 board"
 	depends on ARCH_CHIP_STM32F407VG
@@ -848,6 +599,7 @@ config ARCH_BOARD_MIKROE_STM32F4
 config ARCH_BOARD_SUREPIC32MX
 	bool "Sure PIC32MX boards"
 	depends on ARCH_CHIP_PIC32MX440F512H
+	select ARCH_HAVE_LEDS
 	select ARCH_HAVE_BUTTONS
 	select ARCH_HAVE_IRQBUTTONS
 	---help---
@@ -866,41 +618,6 @@ config ARCH_BOARD_TEENSY
 		developed by http://pjrc.com/teensy/.  The Teensy++ 2.0 is based
 		on an Atmel AT90USB1286 MCU.
 
-config ARCH_BOARD_TRIFLE
-	bool "Trifle flight controller based on PJRC Teensy 3.1 board"
-	depends on ARCH_CHIP_MK20DX256VLH7
-	select ARCH_HAVE_LEDS
-	---help---
-		This is the port of NuttX to the PJRC Teensy 3.1 board.  This board is
-		developed by http://pjrc.com/teensy31/.
-
-config ARCH_BOARD_TM4C123G_LAUNCHPAD
-	bool "Tiva TM4C123G LaunchPad"
-	depends on ARCH_CHIP_TM4C123GH6PMI
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	---help---
-		Tiva TM4C123G LaunchPad.
-
-config ARCH_BOARD_TM4C1294_LAUNCHPAD
-	bool "Tiva EK-TM4C1294XL LaunchPad"
-	depends on ARCH_CHIP_TM4C1294NC
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	---help---
-		Tiva EK-TM4C1294XL LaunchPad.
-
-config ARCH_BOARD_CC3200_LAUNCHPAD
-	bool "Tiva CC3200 Launchpad"
-	depends on ARCH_CHIP_CC3200
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	select TIVA_BOARD_EARLYINIT
-	---help---
-		Tiva CC3200 Launchpad.
-
 config ARCH_BOARD_TWR_K60N512
 	bool "FreeScale TWR-K60N512d evelopment board"
 	depends on ARCH_CHIP_MK60N512VMD100
@@ -928,24 +645,13 @@ config ARCH_BOARD_US7032EVB1
 	bool "Hitachi SH-1/US7032EVB1 board"
 	depends on ARCH_CHIP_SH7032
 	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
 	---help---
 		This is a port of the Hitachi SH-1 on the Hitachi SH-1/US7032EVB1 board.
 		STATUS:  Work has just began on this port.
 
-config ARCH_BOARD_VIEWTOOL_STM32F107
-	bool "ViewTool STM32F103/F107"
-	depends on ARCH_CHIP_STM32F107VC || ARCH_CHIP_STM32F103VC
-	select ARCH_HAVE_LEDS
-	select ARCH_HAVE_BUTTONS
-	---help---
-		This port uses the ViewTool STM32F103/F107 V1.2 board.  This
-		board may be fitted with either: (1) STM32F107VCT6 or (2) STM32F103VCT6.
-		See http://www.viewtool.com/ for further information.
-
 config ARCH_BOARD_VSN
 	bool "SOTEL NetClamps VSN sensor network platform"
-	depends on ARCH_CHIP_STM32F103RE
+	depends on ARCH_CHIP_STM32F103RET6
 	select ARCH_HAVE_LEDS
 	select ARCH_HAVE_BUTTONS
 	---help---
@@ -1002,7 +708,7 @@ config ARCH_BOARD_Z8F64200100KIT
 
 config ARCH_BOARD_ZP214XPA
 	bool "The0.net LPC2148 Development Board"
-	depends on ARCH_CHIP_LPC214X
+	depends on ARCH_CHIP_LPC2148
 	---help---
 		This port is for the NXP LPC2148 as provided on the The0.net
 		ZPA213X/4XPA development board. Includes support for the
@@ -1035,151 +741,83 @@ config ARCH_BOARD_CUSTOM
 
 endchoice
 
-if ARCH_BOARD_CUSTOM
-menu "Custom Board Configuration"
-
-config ARCH_BOARD_CUSTOM_DIR
-	string "Custom board directory"
-	depends on ARCH_BOARD_CUSTOM
-	---help---
-		If the custom board configuration is selected, then it is necessary
-		to also tell the build system where it can find the board directory
-		for the custom board. This may be either a relative path from the
-		toplevel NuttX directory (like "configs/myboard") or an absolute path
-		to some location outside of the NuttX source tree (like
-		"~/projects/myboard").
-
-config BOARD_CUSTOM_LEDS
-	bool "Custom board LEDs"
-	default n
-	select ARCH_HAVE_LEDS
-	select ARCH_LEDS
-
-config BOARD_CUSTOM_BUTTONS
-	bool "Custom board buttons"
-	default n
-	select ARCH_HAVE_BUTTONS
-	select ARCH_BUTTONS
-
-config BOARD_CUSTOM_IRQBUTTONS
-	bool "Custom Board IRQ buttons"
-	default n
-	depends on BOARD_CUSTOM_BUTTONS
-	select ARCH_HAVE_IRQBUTTONS
-	select ARCH_IRQBUTTONS
-
-config BOARD_CUSTOM_INTERRUPT
-	bool "Custom board PHY interrupts"
-	default n
-	depends on NETDEVICES
-	select ARCH_PHY_INTERRUPT if NETDEVICES
-
-endmenu # Custom Board Configuration
-endif #ARCH_BOARD_CUSTOM
-
 config ARCH_BOARD
 	string
-	default "amber"                    if ARCH_BOARD_AMBER
-	default "arduino-due"              if ARCH_BOARD_ARDUINO_DUE
-	default "avr32dev1"                if ARCH_BOARD_AVR32DEV1
-	default "c5471evm"                 if ARCH_BOARD_C5471EVM
-	default "cloudctrl"                if ARCH_BOARD_CLOUDCTRL
-	default "compal_e86"               if ARCH_BOARD_COMPALE86
-	default "compal_e88"               if ARCH_BOARD_COMPALE88
-	default "compal_e99"               if ARCH_BOARD_COMPALE99
-	default "demo9s12ne64"             if ARCH_BOARD_DEMOS92S12NEC64
-	default "dk-tm4c129x"              if ARCH_BOARD_DK_TM4C129X
-	default "ea3131"                   if ARCH_BOARD_EA3131
-	default "ea3152"                   if ARCH_BOARD_EA3152
-	default "eagle100"                 if ARCH_BOARD_EAGLE100
-	default "efm32-g8xx-stk"           if ARCH_BOARD_EFM32G8XXSTK
-	default "efm32gg-stk3700"          if ARCH_BOARD_EFM32GG_STK3700
-	default "ekk-lm3s9b96"             if ARCH_BOARD_EKKLM3S9B96
-	default "ez80f910200kitg"          if ARCH_BOARD_EZ80F910200KITG
-	default "ez80f910200zco"           if ARCH_BOARD_EZ80F910200ZCO
-	default "fire-stm32v2"             if ARCH_BOARD_FIRE_STM32
-	default "freedom-kl25z"            if ARCH_BOARD_FREEDOM_KL25Z
-	default "freedom-kl26z"            if ARCH_BOARD_FREEDOM_KL26Z
-	default "hymini-stm32v"            if ARCH_BOARD_HYMINI_STM32V
-	default "kwikstik-k40"             if ARCH_BOARD_KWIKSTIK_K40
-	default "lincoln60"                if ARCH_BOARD_LINCOLN60
-	default "lm3s6432-s2e"             if ARCH_BOARD_LM3S6432S2E
-	default "lm3s6965-ek"              if ARCH_BOARD_LM3S6965EK
-	default "lm3s8962-ek"              if ARCH_BOARD_LM3S8962EK
-	default "lm4f120-launchpad"        if ARCH_BOARD_LM4F120_LAUNCHPAD
-	default "lpc4330-xplorer"          if ARCH_BOARD_LPC4330_XPLORER
-	default "lpc4357-evb"              if ARCH_BOARD_LPC4357_EVB
-	default "lpcxpresso-lpc1768"       if ARCH_BOARD_LPCXPRESSO
-	default "maple"                    if ARCH_BOARD_MAPLE
-	default "mbed"                     if ARCH_BOARD_MBED
-	default "mcu123-lpc214x"           if ARCH_BOARD_MCU123_LPC214X
-	default "micropendous3"            if ARCH_BOARD_MICROPENDOUS3
-	default "mirtoo"                   if ARCH_BOARD_MIRTOO
-	default "moteino-mega"             if ARCH_BOARD_MOTEINO_MEGA
-	default "mx1ads"                   if ARCH_BOARD_MX1ADS
-	default "ne64badge"                if ARCH_BOARD_NE64BADGE
-	default "ntosd-dm320"              if ARCH_BOARD_NTOSD_DM320
-	default "nucleus2g"                if ARCH_BOARD_NUCLEUS2G
-	default "nutiny-nuc120"            if ARCH_BOARD_NUTINY_NUC120
-	default "olimex-efm32g880f128-stk" if ARCH_BOARD_OLIMEX_EFM32G880F128_STK
-	default "olimex-lpc1766stk"        if ARCH_BOARD_LPC1766STK
-	default "olimex-lpc2378"           if ARCH_BOARD_OLIMEXLPC2378
-	default "olimex-lpc-h3131"         if ARCH_BOARD_OLIMEX_LPC_H3131
-	default "olimex-stm32-h405"        if ARCH_BOARD_OLIMEX_STM32H405
-	default "olimex-stm32-p107"        if ARCH_BOARD_OLIMEX_STM32P107
-	default "olimex-stm32-p207"        if ARCH_BOARD_OLIMEX_STM32P207
-	default "olimex-strp711"           if ARCH_BOARD_OLIMEX_STRP711
-	default "open1788"                 if ARCH_BOARD_OPEN1788
-	default "p112"                     if ARCH_BOARD_P112
-	default "pcblogic-pic32mx"         if ARCH_BOARD_PCBLOGICPIC32MX
-	default "pcduino-a10"              if ARCH_BOARD_PCDUINO_A10
-	default "pic32mx-starterkit"       if ARCH_BOARD_PIC32MX_STARTERKIT
-	default "pic32mx7mmb"              if ARCH_BOARD_PIC32MX7MMB
-	default "pic32mz-starterkit"       if ARCH_BOARD_PIC32MZ_STARTERKIT
-	default "pirelli_dpl10"            if ARCH_BOARD_PIRELLI_DPL10
-	default "nucleo-f4x1re"            if ARCH_BOARD_NUCLEO_F401RE || ARCH_BOARD_NUCLEO_F411RE
-	default "qemu-i486"                if ARCH_BOARD_QEMU_I486
-	default "rgmp"                     if ARCH_BOARD_RGMP
-	default "sama5d3x-ek"              if ARCH_BOARD_SAMA5D3X_EK
-	default "sama5d3-xplained"         if ARCH_BOARD_SAMA5D3_XPLAINED
-	default "sama5d4-ek"               if ARCH_BOARD_SAMA5D4_EK
-	default "samd20-xplained"          if ARCH_BOARD_SAMD20_XPLAINED
-	default "sam3u-ek"                 if ARCH_BOARD_SAM3UEK
-	default "sam4e-ek"                 if ARCH_BOARD_SAM4EEK
-	default "sam4l-xplained"           if ARCH_BOARD_SAM4L_XPLAINED
-	default "sam4s-xplained"           if ARCH_BOARD_SAM4S_XPLAINED
-	default "sam4s-xplained-pro"       if ARCH_BOARD_SAM4S_XPLAINED_PRO
-	default "shenzhou"                 if ARCH_BOARD_SHENZHOU
-	default "skp16c26"                 if ARCH_BOARD_SKP16C26
-	default "spark"                    if ARCH_BOARD_SPARK
-	default "stm32_tiny"               if ARCH_BOARD_STM32_TINY
-	default "stm3210e-eval"            if ARCH_BOARD_STM3210E_EVAL
-	default "stm3220g-eval"            if ARCH_BOARD_STM3220G_EVAL
-	default "stm3240g-eval"            if ARCH_BOARD_STM3240G_EVAL
-	default "stm32f3discovery"         if ARCH_BOARD_STM32F3_DISCOVERY
-	default "stm32f4discovery"         if ARCH_BOARD_STM32F4_DISCOVERY
-	default "stm32f429i-disco"         if ARCH_BOARD_STM32F429I_DISCO
-	default "stm32ldiscovery"          if ARCH_BOARD_STM32L_DISCOVERY
-	default "stm32vldiscovery"         if ARCH_BOARD_STM32VL_DISCOVERY
-	default "mikroe-stm32f4"           if ARCH_BOARD_MIKROE_STM32F4
-	default "sure-pic32mx"             if ARCH_BOARD_SUREPIC32MX
-	default "teensy"                   if ARCH_BOARD_TEENSY
-	default "tm4c123g-launchpad"       if ARCH_BOARD_TM4C123G_LAUNCHPAD
-	default "tm4c1294-launchpad"       if ARCH_BOARD_TM4C1294_LAUNCHPAD
-	default "cc3200-launchpad"         if ARCH_BOARD_CC3200_LAUNCHPAD
-	default "twr-k60n512"              if ARCH_BOARD_TWR_K60N512
-	default "ubw32"                    if ARCH_BOARD_UBW32
-	default "us7032evb1"               if ARCH_BOARD_US7032EVB1
-	default "viewtool-stm32f107"       if ARCH_BOARD_VIEWTOOL_STM32F107
-	default "vsn"                      if ARCH_BOARD_VSN
-	default "xtrs"                     if ARCH_BOARD_XTRS
-	default "z16f2800100zcog"          if ARCH_BOARD_Z16F2800100ZCOG
-	default "z80sim"                   if ARCH_BOARD_Z80SIM
-	default "z8encore000zco"           if ARCH_BOARD_Z8ENCORE000ZCO
-	default "z8f64200100kit"           if ARCH_BOARD_Z8F64200100KIT
-	default "zp214xpa"                 if ARCH_BOARD_ZP214XPA
-	default "zkit-arm-1769"            if ARCH_BOARD_ZKITARM
-	default "sim"                      if ARCH_BOARD_SIM
+	default "amber"               if ARCH_BOARD_AMBER
+	default "avr32dev1"           if ARCH_BOARD_AVR32DEV1
+	default "c5471evm"            if ARCH_BOARD_C5471EVM
+	default "compal_e88"          if ARCH_BOARD_COMPALE88
+	default "compal_e99"          if ARCH_BOARD_COMPALE99
+	default "demo9s12ne64"        if ARCH_BOARD_DEMOS92S12NEC64
+	default "ea3131"              if ARCH_BOARD_EA3131
+	default "ea3152"              if ARCH_BOARD_EA3152
+	default "eagle100"            if ARCH_BOARD_EAGLE100
+	default "ekk-lm3s9b96"        if ARCH_BOARD_EKKLM3S9B96
+	default "ez80f910200kitg"     if ARCH_BOARD_EZ80F910200KITG
+	default "ez80f910200zco"      if ARCH_BOARD_EZ80F910200ZCO
+	default "fire-stm32v2"        if ARCH_BOARD_FIRE_STM32
+	default "freedom-kl25z"        if ARCH_BOARD_FREEDOM_KL25Z
+	default "hymini-stm32v"       if ARCH_BOARD_HYMINI_STM32V
+	default "kwikstik-k40"        if ARCH_BOARD_KWIKSTIK_K40
+	default "lincoln60"           if ARCH_BOARD_LINCOLN60
+	default "lm3s6432-s2e"        if ARCH_BOARD_LM3S6432S2E
+	default "lm3s6965-ek"         if ARCH_BOARD_LM3S6965EK
+	default "lm3s8962-ek"         if ARCH_BOARD_LM3S8962EK
+	default "lm4f120-launchpad"   if ARCH_BOARD_LM4F120_LAUNCHPAD
+	default "lpc4330-xplorer"     if ARCH_BOARD_LPC4330_XPLORER
+	default "lpcxpresso-lpc1768"  if ARCH_BOARD_LPCXPRESSO
+	default "m68322evb"           if ARCH_BOARD_M68332EVB
+	default "mbed"                if ARCH_BOARD_MBED
+	default "mcu123-lpc214x"      if ARCH_BOARD_MCU123
+	default "micropendous3"       if ARCH_BOARD_MICROPENDOUS3
+	default "mirtoo"              if ARCH_BOARD_MIRTOO
+	default "mx1ads"              if ARCH_BOARD_MX1ADS
+	default "ne64badge"           if ARCH_BOARD_NE64BADGE
+	default "ntosd-dm320"         if ARCH_BOARD_NTOSD_DM320
+	default "nucleus2g"           if ARCH_BOARD_NUCLEUS2G
+	default "nutiny-nuc120"       if ARCH_BOARD_NUTINY_NUC120
+	default "olimex-lpc1766stk"   if ARCH_BOARD_LPC1766STK
+	default "olimex-lpc2378"      if ARCH_BOARD_OLIMEXLPC2378
+	default "olimex-stm32-p107"   if ARCH_BOARD_OLIMEX_STM32P107
+	default "olimex-strp711"      if ARCH_BOARD_OLIMEX_STRP711
+	default "open1788"            if ARCH_BOARD_OPEN1788
+	default "p112"                if ARCH_BOARD_P112
+	default "pcblogic-pic32mx"    if ARCH_BOARD_PCBLOGICPIC32MX
+	default "pic32-starterkit"    if ARCH_BOARD_PIC32_STARTERKIT
+	default "pic32mx7mmb"         if ARCH_BOARD_PIC32_PIC32MX7MMB
+	default "pirelli_dpl10"       if ARCH_BOARD_PIRELLI_DPL10
+	default "pjrc-8051"           if ARCH_BOARD_PJRC_87C52
+	default "qemu-i486"           if ARCH_BOARD_QEMU_I486
+	default "rgmp"                if ARCH_BOARD_RGMP
+	default "sam3u-ek"            if ARCH_BOARD_SAM3UEK
+	default "sam4l-xplained"      if ARCH_BOARD_SAM4L_XPLAINED
+	default "sam4s-xplained"      if ARCH_BOARD_SAM4S_XPLAINED
+	default "shenzhou"            if ARCH_BOARD_SHENZHOU
+	default "skp16c26"            if ARCH_BOARD_SKP16C26
+	default "stm32_tiny"          if ARCH_BOARD_STM32_TINY
+	default "stm3210e-eval"       if ARCH_BOARD_STM3210E_EVAL
+	default "stm3220g-eval"       if ARCH_BOARD_STM3220G_EVAL
+	default "stm3240g-eval"       if ARCH_BOARD_STM3240G_EVAL
+	default "stm32f100rc_generic" if ARCH_BOARD_STM32F100RC_GENERIC
+	default "stm32f3discovery"    if ARCH_BOARD_STM32F3_DISCOVERY
+	default "stm32f4discovery"    if ARCH_BOARD_STM32F4_DISCOVERY
+	default "stm32ldiscovery"     if ARCH_BOARD_STM32L_DISCOVERY
+	default "mikroe-stm32f4"      if ARCH_BOARD_MIKROE_STM32F4
+	default "sure-pic32mx"        if ARCH_BOARD_SUREPIC32MX
+	default "teensy"              if ARCH_BOARD_TEENSY
+	default "twr-k60n512"         if ARCH_BOARD_TWR_K60N512
+	default "ubw32"               if ARCH_BOARD_UBW32
+	default "us7032evb1"          if ARCH_BOARD_US7032EVB1
+	default "vsn"                 if ARCH_BOARD_VSN
+	default "xtrs"                if ARCH_BOARD_XTRS
+	default "z16f2800100zcog"     if ARCH_BOARD_Z16F2800100ZCOG
+	default "z80sim"              if ARCH_BOARD_Z80SIM
+	default "z8encore000zco"      if ARCH_BOARD_Z8ENCORE000ZCO
+	default "z8f64200100kit"      if ARCH_BOARD_Z8F64200100KIT
+	default "zp214xpa"            if ARCH_BOARD_ZP214XPA
+	default "zkit-arm-1769"       if ARCH_BOARD_ZKITARM
+	default "sim"                 if ARCH_BOARD_SIM
+	default ""                    if ARCH_BOARD_CUSTOM
 
 comment "Common Board Options"
 
@@ -1239,21 +877,12 @@ comment "Board-Specific Options"
 if ARCH_BOARD_AMBER
 source "configs/amber/Kconfig"
 endif
-if ARCH_BOARD_ARDUINO_DUE
-source "configs/arduino-due/Kconfig"
-endif
 if ARCH_BOARD_AVR32DEV1
 source "configs/avr32dev1/Kconfig"
 endif
 if ARCH_BOARD_C5471EVM
 source "configs/c5471evm/Kconfig"
 endif
-if ARCH_BOARD_CLOUDCTRL
-source "configs/cloudctrl/Kconfig"
-endif
-if ARCH_BOARD_COMPALE86
-source "configs/compal_e86/Kconfig"
-endif
 if ARCH_BOARD_COMPALE88
 source "configs/compal_e88/Kconfig"
 endif
@@ -1263,9 +892,6 @@ endif
 if ARCH_BOARD_DEMOS92S12NEC64
 source "configs/demo9s12ne64/Kconfig"
 endif
-if ARCH_BOARD_DK_TM4C129X
-source "configs/dk-tm4c129x/Kconfig"
-endif
 if ARCH_BOARD_EA3131
 source "configs/ea3131/Kconfig"
 endif
@@ -1275,12 +901,6 @@ endif
 if ARCH_BOARD_EAGLE100
 source "configs/eagle100/Kconfig"
 endif
-if ARCH_BOARD_EFM32G8XXSTK
-source "configs/efm32-g8xx-stk/Kconfig"
-endif
-if ARCH_BOARD_EFM32GG_STK3700
-source "configs/efm32gg-stk3700/Kconfig"
-endif
 if ARCH_BOARD_EKKLM3S9B96
 source "configs/ekk-lm3s9b96/Kconfig"
 endif
@@ -1293,12 +913,6 @@ endif
 if ARCH_BOARD_FIRE_STM32
 source "configs/fire-stm32v2/Kconfig"
 endif
-if ARCH_BOARD_FREEDOM_KL25Z
-source "configs/freedom-kl25z/Kconfig"
-endif
-if ARCH_BOARD_FREEDOM_KL26Z
-source "configs/freedom-kl26z/Kconfig"
-endif
 if ARCH_BOARD_HYMINI_STM32V
 source "configs/hymini-stm32v/Kconfig"
 endif
@@ -1323,19 +937,16 @@ endif
 if ARCH_BOARD_LPC4330_XPLORER
 source "configs/lpc4330-xplorer/Kconfig"
 endif
-if ARCH_BOARD_LPC4357_EVB
-source "configs/lpc4357-evb/Kconfig"
-endif
 if ARCH_BOARD_LPCXPRESSO
 source "configs/lpcxpresso-lpc1768/Kconfig"
 endif
-if ARCH_BOARD_MAPLE
-source "configs/maple/Kconfig"
+if ARCH_BOARD_M68332EVB
+source "configs/m68332evb/Kconfig"
 endif
 if ARCH_BOARD_MBED
 source "configs/mbed/Kconfig"
 endif
-if ARCH_BOARD_MCU123_LPC214X
+if ARCH_BOARD_MCU123
 source "configs/mcu123-lpc214x/Kconfig"
 endif
 if ARCH_BOARD_MICROPENDOUS3
@@ -1347,9 +958,6 @@ endif
 if ARCH_BOARD_MIRTOO
 source "configs/mirtoo/Kconfig"
 endif
-if ARCH_BOARD_MOTEINO_MEGA
-source "configs/moteino-mega/Kconfig"
-endif
 if ARCH_BOARD_MX1ADS
 source "configs/mx1ads/Kconfig"
 endif
@@ -1365,27 +973,15 @@ endif
 if ARCH_BOARD_NUTINY_NUC120
 source "configs/nutiny-nuc120/Kconfig"
 endif
-if ARCH_BOARD_OLIMEX_EFM32G880F128_STK
-source "configs/olimex-efm32g880f128-stk/Kconfig"
-endif
 if ARCH_BOARD_LPC1766STK
 source "configs/olimex-lpc1766stk/Kconfig"
 endif
 if ARCH_BOARD_OLIMEXLPC2378
 source "configs/olimex-lpc2378/Kconfig"
 endif
-if ARCH_BOARD_OLIMEX_LPC_H3131
-source "configs/olimex-lpc-h3131/Kconfig"
-endif
-if ARCH_BOARD_OLIMEX_STM32H405
-source "configs/olimex-stm32-h405/Kconfig"
-endif
 if ARCH_BOARD_OLIMEX_STM32P107
 source "configs/olimex-stm32-p107/Kconfig"
 endif
-if ARCH_BOARD_OLIMEX_STM32P207
-source "configs/olimex-stm32-p207/Kconfig"
-endif
 if ARCH_BOARD_OLIMEX_STRP711
 source "configs/olimex-strp711/Kconfig"
 endif
@@ -1395,23 +991,17 @@ endif
 if ARCH_BOARD_PCBLOGICPIC32MX
 source "configs/pcblogic-pic32mx/Kconfig"
 endif
-if ARCH_BOARD_PCDUINO_A10
-source "configs/pcduino-a10/Kconfig"
-endif
-if ARCH_BOARD_PIC32MX_STARTERKIT
-source "configs/pic32mx-starterkit/Kconfig"
+if ARCH_BOARD_PIC32_STARTERKIT
+source "configs/pic32-starterkit/Kconfig"
 endif
-if ARCH_BOARD_PIC32MX7MMB
+if ARCH_BOARD_PIC32_PIC32MX7MMB
 source "configs/pic32mx7mmb/Kconfig"
 endif
-if ARCH_BOARD_PIC32MZ_STARTERKIT
-source "configs/pic32mz-starterkit/Kconfig"
-endif
 if ARCH_BOARD_PIRELLI_DPL10
 source "configs/pirelli_dpl10/Kconfig"
 endif
-if ARCH_BOARD_NUCLEO_F401RE || ARCH_BOARD_NUCLEO_F411RE
-source "configs/nucleo-f4x1re/Kconfig"
+if ARCH_BOARD_PJRC_87C52
+source "configs/pjrc-8051/Kconfig"
 endif
 if ARCH_BOARD_QEMU_I486
 source "configs/qemu-i486/Kconfig"
@@ -1419,42 +1009,21 @@ endif
 if ARCH_BOARD_RGMP
 source "configs/rgmp/Kconfig"
 endif
-if ARCH_BOARD_SAMA5D3X_EK
-source "configs/sama5d3x-ek/Kconfig"
-endif
-if ARCH_BOARD_SAMA5D3_XPLAINED
-source "configs/sama5d3-xplained/Kconfig"
-endif
-if ARCH_BOARD_SAMA5D4_EK
-source "configs/sama5d4-ek/Kconfig"
-endif
-if ARCH_BOARD_SAMD20_XPLAINED
-source "configs/samd20-xplained/Kconfig"
-endif
 if ARCH_BOARD_SAM3UEK
 source "configs/sam3u-ek/Kconfig"
 endif
-if ARCH_BOARD_SAM4EEK
-source "configs/sam4e-ek/Kconfig"
-endif
 if ARCH_BOARD_SAM4L_XPLAINED
 source "configs/sam4l-xplained/Kconfig"
 endif
 if ARCH_BOARD_SAM4S_XPLAINED
 source "configs/sam4s-xplained/Kconfig"
 endif
-if ARCH_BOARD_SAM4S_XPLAINED_PRO
-source "configs/sam4s-xplained-pro/Kconfig"
-endif
 if ARCH_BOARD_SHENZHOU
 source "configs/shenzhou/Kconfig"
 endif
 if ARCH_BOARD_SKP16C26
 source "configs/skp16c26/Kconfig"
 endif
-if ARCH_BOARD_SPARK
-source "configs/spark/Kconfig"
-endif
 if ARCH_BOARD_STM32_TINY
 source "configs/stm32_tiny/Kconfig"
 endif
@@ -1467,33 +1036,21 @@ endif
 if ARCH_BOARD_STM3240G_EVAL
 source "configs/stm3240g-eval/Kconfig"
 endif
+if ARCH_BOARD_STM32F100RC_GENERIC
+source "configs/stm32f100rc_generic/Kconfig"
+endif
 if ARCH_BOARD_STM32F4_DISCOVERY
 source "configs/stm32f4discovery/Kconfig"
 endif
-if ARCH_BOARD_STM32F429I_DISCO
-source "configs/stm32f429i-disco/Kconfig"
-endif
 if ARCH_BOARD_STM32L_DISCOVERY
 source "configs/stm32ldiscovery/Kconfig"
 endif
-if ARCH_BOARD_STM32VL_DISCOVERY
-source "configs/stm32vldiscovery/Kconfig"
-endif
 if ARCH_BOARD_SUREPIC32MX
 source "configs/sure-pic32mx/Kconfig"
 endif
 if ARCH_BOARD_TEENSY
 source "configs/teensy/Kconfig"
 endif
-if ARCH_BOARD_TM4C123G_LAUNCHPAD
-source "configs/tm4c123g-launchpad/Kconfig"
-endif
-if ARCH_BOARD_TM4C1294_LAUNCHPAD
-source "configs/tm4c1294-launchpad/Kconfig"
-endif
-if ARCH_BOARD_CC3200_LAUNCHPAD
-source "configs/cc3200-launchpad/Kconfig"
-endif
 if ARCH_BOARD_TWR_K60N512
 source "configs/twr-k60n512/Kconfig"
 endif
@@ -1503,9 +1060,6 @@ endif
 if ARCH_BOARD_US7032EVB1
 source "configs/us7032evb1/Kconfig"
 endif
-if ARCH_BOARD_VIEWTOOL_STM32F107
-source "configs/viewtool-stm32f107/Kconfig"
-endif
 if ARCH_BOARD_VSN
 source "configs/vsn/Kconfig"
 endif