# # For a description of the syntax of this configuration file, # see misc/tools/kconfig-language.txt. # choice prompt "Select target board" default ARCH_BOARD_CUSTOM ---help--- 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. config ARCH_BOARD_AMBER bool "Amber Web Server" depends on ARCH_CHIP_ATMEGA128 ---help--- This is placeholder for the SoC Robotics Amber Web Server that is based 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_AVR32DEV1 bool "Atmel AVR32DEV1 board" depends on ARCH_CHIP_AT32UC3B0256 ---help--- This is a port of NuttX to the Atmel AVR32DEV1 board. That board is based on the Atmel AT32UC3B0256 MCU and uses a specially patched version of the GNU toolchain: The patches provide support for the AVR32 family. That patched GNU toolchain is available only from the Atmel website. STATUS: This port is functional but very basic. There are configurations for NSH and the OS test. config ARCH_BOARD_C5471EVM bool "Spectrum Digital C5471 evaluation board" depends on ARCH_CHIP_C5471 ---help--- This is a port to the Spectrum Digital C5471 evaluation board. The TMS320C5471 is a dual core processor from TI with an ARM7TDMI general purpose processor and a c54 DSP. It is also known as TMS320DA180 or just DA180. NuttX runs on the ARM core and is built with a GNU arm-elf toolchain*. This port is complete and verified. config ARCH_BOARD_COMPALE88 bool "Compal e88 phone" depends on ARCH_CHIP_CALYPSO ---help--- 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. config ARCH_BOARD_COMPALE99 bool "Compal e99 phone" depends on ARCH_CHIP_CALYPSO ---help--- 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. config ARCH_BOARD_DEMOS92S12NEC64 bool "Freescale DMO9S12NE64 board" depends on ARCH_CHIP_MCS92S12NEC64 ---help--- Freescale DMO9S12NE64 board based on the MC9S12NE64 hcs12 cpu. This port uses the m9s12x GCC toolchain. STATUS: (Still) under development; it is code complete but has not yet been verified. config ARCH_BOARD_EA3131 bool "Embedded Artists EA3131 Development board" depends on ARCH_CHIP_LPC3131 ---help--- Embedded Artists EA3131 Development board. This board is based on the an NXP LPC3131 MCU. This OS is built with the arm-elf toolchain*. STATUS: This port is complete and mature. config ARCH_BOARD_EA3152 bool "Embedded Artists EA3152 Development board" depends on ARCH_CHIP_LPC3152 ---help--- Embedded Artists EA3152 Development board. This board is based on the an NXP LPC3152 MCU. This OS is built with the arm-elf toolchain*. STATUS: This port is has not be exercised well, but since it is a simple derivative of the ea3131, it should be fully functional. config ARCH_BOARD_EAGLE100 bool "Micromint Eagle-100 Development board" depends on ARCH_CHIP_LM3S6918 ---help--- Micromint Eagle-100 Development board. This board is based on the an ARM Cortex-M3 MCU, the Luminary LM3S6918. This OS is built with the arm-elf toolchain*. STATUS: This port is complete and mature. config ARCH_BOARD_EKK_LM3S9B96 bool "TI/Stellaris EKK-LM3S9B96" depends on ARCH_CHIP_LM3S9B96 ---help--- TI/Stellaris EKK-LM3S9B96 board. This board is based on the an EKK-LM3S9B96 which is a Cortex-M3. config ARCH_BOARD_EZ80F910200KITG bool "ZiLOG ez80f0910200kitg development kit" depends on ARCH_CHIP_EZ80F91 ---help--- ez80Acclaim! Microcontroller. This port use the ZiLOG ez80f0910200kitg development kit, eZ80F091 part, and the Zilog ZDS-II Windows command line tools. The development environment is Cygwin under WinXP. config ARCH_BOARD_EZ80F910200ZCO bool "ZiLOG ez80f0910200zco development kit" depends on ARCH_CHIP_EZ80F91 ---help--- ez80Acclaim! Microcontroller. This port use the Zilog ez80f0910200zco development kit, eZ80F091 part, and the Zilog ZDS-II Windows command line tools. The development environment is Cygwin under WinXP. config ARCH_BOARD_HYMINI_STM32V bool "HY-Mini STM32v board" depends on ARCH_CHIP_STM32F103VCT ---help--- A configuration for the HY-Mini STM32v board. This board is based on the STM32F103VCT chip. config ARCH_BOARD_LINCOLN60 bool "Micromint Lincoln 60 board" depends on ARCH_CHIP_LPC1769 ---help--- Micromint Lincoln 60 board using the NXP LPC1769 MCU. config ARCH_BOARD_KWIKSTIK_K40 bool "FreeScale KwikStik-K40 development board" depends on ARCH_CHIP_MK40X256VLQ100 ---help--- Kinetis K40 Cortex-M4 MCU. This port uses the FreeScale KwikStik-K40 development board. config ARCH_BOARD_LM3S6432S2E bool "Stellaris RDK-S2E Reference Design Kit" depends on ARCH_CHIP_LM3S6432 ---help--- Stellaris RDK-S2E Reference Design Kit and the MDL-S2E Ethernet to Serial module. config ARCH_BOARD_LM3S6965EK bool "Stellaris LM3S6965 Evaluation Kit" depends on ARCH_CHIP_LM3S6965 ---help--- Stellaris LM3S6965 Evaluation Kit. This board is based on the an ARM Cortex-M3 MCU, the Luminary/TI LM3S6965. This OS is built with the arm-elf toolchain*. STATUS: This port is complete and mature. config ARCH_BOARD_LM3S8962EK bool "Stellaris LMS38962 Evaluation Kit" depends on ARCH_CHIP_LM3S8962 ---help--- Stellaris LMS38962 Evaluation Kit. config ARCH_BOARD_LPCXPRESSO bool "NXP LPCExpresso LPC1768" depends on ARCH_CHIP_LPC1768 ---help--- Embedded Artists base board with NXP LPCExpresso LPC1768. This board is based on the NXP LPC1768. The Code Red toolchain is used by default. config ARCH_BOARD_LPC4330_XPLORER bool "NXP LPCExpresso LPC1768" depends on ARCH_CHIP_LPC4330FET100 ---help--- NXP LPCExpresso LPC4330 Xplorer board. This board is based on the LPC4330FET100. The Code Red toolchain is used by default. config ARCH_BOARD_M68332EVB bool "Motoroloa M68332EVB" depends on ARCH_M68332 ---help--- This is a work in progress for the venerable m68322evb board from Motorola. This OS is also built with the arm-elf toolchain. STATUS: This port was never completed. config ARCH_BOARD_MBED bool "mbed LCP1768" depends on ARCH_CHIP_LPC1768 ---help--- The configurations in this directory support the mbed board (http://mbed.org) that features the NXP LPC1768 microcontroller. This OS is also built with the arm-elf toolchain*. STATUS: Contributed. config ARCH_BOARD_MCU123 bool "mcu123.com LPC2148 Development Board" depends on ARCH_CHIP_LPC2148 ---help--- This port is for the NXP LPC2148 as provided on the mcu123.com 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 bool "Opendous Micropendous 3 board" depends on ARCH_CHIP_AT90USB646 || ARCH_CHIP_AT90USB647 || ARCH_CHIP_AT90USB1286 || ARCH_CHIP_AT90USB1287 ---help--- This is a port to the Opendous Micropendous 3 board. This board may be populated with either an AVR AT90USB646, 647, 1286, or 1287 MCU. Support is configured for the AT90USB647. config ARCH_BOARD_MX1ADS bool "Motorola MX1ADS development board" depends on ARCH_CHIP_IMX1 ---help--- This is a port to the Motorola MX1ADS development board. That board is based on the Freescale i.MX1 processor. The i.MX1 is an ARM920T. STATUS: This port is nearly code complete but was never fully integrated due to tool-related issues. config ARCH_BOARD_NE64BADGE bool "FEG NE64 /PoE Badge board" depends on ARCH_CHIP_MCS92S12NEC64 ---help--- Future Electronics Group NE64 /PoE Badge board based on the MC9S12NE64 hcs12 cpu. This port uses the m9s12x GCC toolchain. STATUS: Under development. The port is code-complete but has not yet been fully tested. config ARCH_BOARD_NTOSD_DM320 bool "Neuros OSD v1.0 Dev Board" depends on ARCH_CHIP_DM320 ---help--- This port uses the Neuros OSD v1.0 Dev Board with a GNU arm-elf toolchain*: see http://wiki.neurostechnology.com/index.php/OSD_1.0_Developer_Home There are some differences between the Dev Board and the currently available commercial v1.0 Boards. See http://wiki.neurostechnology.com/index.php/OSD_Developer_Board_v1 NuttX operates on the ARM9EJS of this dual core processor. STATUS: This port is code complete, verified, and included in the NuttX 0.2.1 release. config ARCH_BOARD_NUCLEUS2G bool "Nucleus 2G board" depends on ARCH_CHIP_LPC1768 ---help--- This port uses the Nucleus 2G board (with Babel CAN board). This board features an NXP LPC1768 processor. See the 2G website (http://www.2g-eng.com/) for more information about the Nucleus 2G. config ARCH_BOARD_LPC1766STK bool "Olimex LPC1766-STK board" depends on ARCH_CHIP_LPC1766 ---help--- This port uses the Olimex LPC1766-STK board and a GNU GCC toolchain* under Linux or Cygwin. STATUS: Complete and mature. config ARCH_BOARD_MIRTOO bool "Mirtoo PIC32 Module from Dimitech" depends on ARCH_CHIP_PIC32MX250F128D ---help--- This is the port to the DTX1-4000L "Mirtoo" module. This module uses MicroChip PIC32MX250F128D. See http://www.dimitech.com/ for further information. config ARCH_BOARD_OLIMEXLPC2378 bool "Olimex-lpc2378 board" depends on ARCH_CHIP_LPC2378 ---help--- This port uses the Olimex-lpc2378 board and a GNU arm-elf toolchain* under Linux or Cygwin. STATUS: ostest and NSH configurations available. This port for the NXP LPC2378 was contributed by Rommel Marcelo. config ARCH_BOARD_OLIMEX_STRP711 bool "Olimex STR-P711 board" depends on ARCH_CHIP_STR71X ---help--- This port uses the Olimex STR-P711 board and a GNU arm-elf toolchain* under Linux or Cygwin. See the http://www.olimex.com/dev/str-p711.html" for further information. STATUS: Configurations for the basic OS test and NSH are complete and verified. config ARCH_BOARD_PCBLOGICPIC32MX bool "PIC32MX board from PCB Logic Design Co" depends on ARCH_CHIP_PIC32MX460F512L ---help--- This is the port of NuttX to the PIC32MX board from PCB Logic Design Co. This board features the MicroChip PIC32MX460F512L. The board is a very simple -- little more than a carrier for the PIC32 MCU plus voltage regulation, debug interface, and an OTG connector. STATUS: Code complete but testing has been stalled due to tool related problems (PICkit 2 does not work with the PIC32). config ARCH_BOARD_PIC32_STARTERKIT bool "Microchip PIC32 Ethernet Starter Kit (DM320004)" depends on ARCH_CHIP_PIC32MX795F512L ---help--- This is the port of NuttX to the Microchip PIC32 Ethernet Starter Kit (DM320004) with the Multimedia Expansion Board (MEB, DM320005). See www.microchip.com for further information. config ARCH_BOARD_PIC32_PIC32MX7MMB bool "Mikroelektronika PIC32MX7 MMB" depends on ARCH_CHIP_PIC32MX795F512L ---help--- This is the port NuttX to the Mikroelektronika PIC32MX7 Multimedia Board (MMB). See http://www.mikroe.com/ for further information. config ARCH_BOARD_PJRC_87C52 bool "PJRC 87C52 development system" depends on ARCH_CHIP_8052 ---help--- 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" depends on ARCH_QEMU ---help--- Port of NuttX to QEMU in i486 mode. This port will also run on real i486 hardwared (Google the Bifferboard). config ARCH_BOARD_RGMP bool "RGMP" depends on ARCH_RGMP ---help--- RGMP stands for RTOS and GPOS on Multi-Processor. RGMP is a project for running GPOS and RTOS simultaneously on multi-processor platforms. You can port your favorite RTOS to RGMP together with an unmodified Linux to form a hybrid operating system. This makes your application able to use both RTOS and GPOS features. See http://rgmp.sourceforge.net/wiki/index.php/Main_Page for further information about RGMP. config ARCH_BOARD_SAM3UEK bool "Atmel SAM3U-EK development board" depends on ARCH_CHIP_AT91SAM3U4E ---help--- The port of NuttX to the Atmel SAM3U-EK development board. config ARCH_BOARD_SKP16C26 bool "Renesas SKP16C26 StarterKit" depends on ARCH_CHIP_M30262F8 ---help--- Renesas M16C processor on the Renesas SKP16C26 StarterKit. This port uses the GNU m32c toolchain. STATUS: The port is complete but untested due to issues with compiler internal errors. config ARCH_BOARD_STM3210E_EVAL bool "STMicro STM3210E-EVAL development board" depends on ARCH_CHIP_STM32F103ZET6 ---help--- STMicro STM3210E-EVAL development board based on the STMicro STM32F103ZET6 microcontroller (ARM Cortex-M3). This port uses the GNU Cortex-M3 toolchain. config ARCH_BOARD_STM3220G_EVAL bool "STMicro STM3220G-EVAL development board" depends on ARCH_CHIP_STM32F207IG ---help--- STMicro STM3220G-EVAL development board based on the STMicro STM32F407IG microcontroller (ARM Cortex-M3). config ARCH_BOARD_STM3240G_EVAL bool "STMicro STM3240G-EVAL development board" depends on ARCH_CHIP_STM32F407IG ---help--- STMicro STM3240G-EVAL development board based on the STMicro STM32F103ZET6 microcontroller (ARM Cortex-M4 with FPU). This port uses a GNU Cortex-M4 toolchain (such as CodeSourcery). config ARCH_BOARD_STM32F4_DISCOVERY bool "STMicro STM32F4-Discovery board" depends on ARCH_CHIP_STM32F407VG ---help--- STMicro STM32F4-Discovery board boased on the STMIcro STM32F407VGT6 MCU. config ARCH_BOARD_SUREPIC32MX bool "Sure PIC32MX boards" depends on ARCH_CHIP_PIC32MX440F512H ---help--- The "Advanced USB Storage Demo Board," Model DB-DP11215, from Sure Electronics (http://www.sureelectronics.net/). This board features the MicroChip PIC32MX440F512H. See also http://www.sureelectronics.net/goods.php?id=1168 for further information about the Sure DB-DP11215 board. config ARCH_BOARD_TEENSY bool "PJRC Teensy++ 2.0 board" depends on ARCH_CHIP_AT90USB1286 ---help--- This is the port of NuttX to the PJRC Teensy++ 2.0 board. This board is developed by http://pjrc.com/teensy/. The Teensy++ 2.0 is based on an Atmel AT90USB1286 MCU. config ARCH_BOARD_TWR_K60N512 bool "FreeScale TWR-K60N512d evelopment board" depends on ARCH_CHIP_MK60N512VMD100 ---help--- Kinetis K60 Cortex-M4 MCU. This port uses the FreeScale TWR-K60N512 development board. config ARCH_BOARD_UBW32 bool "UBW32 v2.4 board from Sparkfun" depends on ARCH_CHIP_PIC32MX460F512L ---help--- This is the port to the Sparkfun UBW32 board. This port uses the original v2.4 board which is based on the MicroChip PIC32MX460F512L. See http://www.sparkfun.com/products/8971. This older version has been replaced with this board http://www.sparkfun.com/products/9713. See also http://www.schmalzhaus.com/UBW32/. config ARCH_BOARD_US7032EVB1 bool "Hitachi SH-1/US7032EVB1 board" depends on ARCH_CHIP_SH7032 ---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_VSN bool "SOTEL NetClamps VSN sensor network platform" depends on ARCH_CHIP_STM32F103RET6 ---help--- ISOTEL NetClamps VSN V1.2 ready2go sensor network platform based on the STMicro STM32F103RET6. Contributed by Uros Platise. See http://isotel.eu/NetClamps/ config ARCH_BOARD_XTRS bool "XTRS TRS80 Model 3 emulation" depends on ARCH_CHIP_Z80 ---help--- TRS80 Model 3. This port uses a vintage computer based on the Z80. An emulator for this computer is available to run TRS80 programs on a linux platform (http://www.tim-mann.org/xtrs.html). config ARCH_BOARD_Z16F2800100ZCOG bool "Zilog Z16F2800100ZCOG Development Kit" depends on ARCH_CHIP_Z16F281 ---help--- z16f Microcontroller. This port use the ZiLIG z16f2800100zcog development kit and the Zilog ZDS-II Windows command line tools. The development environment is Cygwin under WinXP. config ARCH_BOARD_Z80SIM bool "Z80 Instruction Set Simulator" depends on ARCH_CHIP_Z80 ---help--- z80 Microcontroller. This port uses a Z80 instruction set simulator. That simulator can be found in the NuttX SVN at http://nuttx.svn.sourceforge.net/viewvc/nuttx/trunk/misc/sims/z80sim. This port also uses the SDCC toolchain (http://sdcc.sourceforge.net/") (verified with version 2.6.0). config ARCH_BOARD_Z8ENCORE000ZCO bool "ZiLOG z8encore000zco Development Kit" depends on ARCH_CHIP_Z8F6403 ---help--- z8Encore! Microcontroller. This port use the ZiLOG z8encore000zco development kit, Z8F6403 part, and the Zilog ZDS-II Windows command line tools. The development environment is Cygwin under WinXP. config ARCH_BOARD_Z8F64200100KI bool "ZiLOG Z8F64200100KIT Development Kit" depends on ARCH_CHIP_Z8F642X ---help--- z8Encore! Microcontroller. This port use the Zilog z8f64200100kit development kit, Z8F6423 part, and the Zilog ZDS-II Windows command line tools. The development environment is Cygwin under WinXP. config ARCH_BOARD_SIM bool "User mode simulation" depends on ARCH_SIM ---help--- A user-mode port of NuttX to the x86 Linux/Cygwin platform is available. The purpose of this port is primarily to support OS feature development. This port does not support interrupts or a real timer (and hence no round robin scheduler) Otherwise, it is complete. config ARCH_BOARD_CUSTOM bool "Custom development board" ---help--- Select this option if there is no directory for the board under configs/. Don't see the board you want? You must first select the exact MCU part number, then the boards supporting that part will be available for selection. endchoice config ARCH_BOARD string 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 "ez80f0910200kitg" if ARCH_BOARD_EZ80F910200KITG default "ez80f0910200zco" if ARCH_BOARD_EZ80F910200ZCO default "hymini-stm32v" if ARCH_BOARD_HYMINI_STM32V default "kwikstik-k40" if ARCH_BOARD_KWIKSTIK_K40 default "lm3s6432-s2e" if ARCH_BOARD_LM3S6432S2E default "lm3s6965-ek" if ARCH_BOARD_LM3S6965EK default "lm3s8962-ek" if ARCH_BOARD_LM3S8962EK default "lpcxpresso-lpc1768" if ARCH_BOARD_LPCXPRESSO default "lpc4330-xplorer" if ARCH_BOARD_LPC4330_XPLORER 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 "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 "olimex-lpc1766stk" if ARCH_BOARD_LPC1766STK default "olimex-lpc2378" if ARCH_BOARD_OLIMEXLPC2378 default "olimex-strp711" if ARCH_BOARD_OLIMEX_STRP711 default "pcblogic-pic32mx" if ARCH_BOARD_PCBLOGICPIC32MX default "pic32-starterkit" if ARCH_BOARD_PIC32_STARTERKIT default "pjrc-8051" if ARCH_BOARD_PJRC_87C52 default "qemu-i486" if ARCH_BOARD_QEMU_I486 default "sam3u-ek" if ARCH_BOARD_SAM3UEK default "skp16c26" if ARCH_BOARD_SKP16C26 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 "stm32f4discovery" if ARCH_BOARD_STM32F4_DISCOVERY 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_Z8F64200100KI default "sim" if ARCH_BOARD_SIM default "" if ARCH_BOARD_CUSTOM source "configs/amber/Kconfig" source "configs/avr32dev1/Kconfig" source "configs/c5471evm/Kconfig" source "configs/compal_e88/Kconfig" source "configs/compal_e99/Kconfig" source "configs/demo9s12ne64/Kconfig" source "configs/ea3131/Kconfig" source "configs/ea3152/Kconfig" source "configs/eagle100/Kconfig" source "configs/ekk-lm3s9b96/Kconfig" source "configs/ez80f910200kitg/Kconfig" source "configs/ez80f910200zco/Kconfig" source "configs/hymini-stm32v/Kconfig" source "configs/kwikstik-k40/Kconfig" source "configs/lincoln60/Kconfig" source "configs/lm3s6432-s2e/Kconfig" source "configs/lm3s6965-ek/Kconfig" source "configs/lm3s8962-ek/Kconfig" source "configs/lpcxpresso-lpc1768/Kconfig" source "configs/lpc4330-xplorer/Kconfig" source "configs/m68332evb/Kconfig" source "configs/mbed/Kconfig" source "configs/mcu123-lpc214x/Kconfig" source "configs/micropendous3/Kconfig" source "configs/mirtoo/Kconfig" source "configs/mx1ads/Kconfig" source "configs/ne64badge/Kconfig" source "configs/ntosd-dm320/Kconfig" source "configs/nucleus2g/Kconfig" source "configs/olimex-lpc1766stk/Kconfig" source "configs/olimex-lpc2378/Kconfig" source "configs/olimex-strp711/Kconfig" source "configs/pcblogic-pic32mx/Kconfig" source "configs/pic32-starterkit/Kconfig" source "configs/pic32mx7mmb/Kconfig" source "configs/pjrc-8051/Kconfig" source "configs/qemu-i486/Kconfig" source "configs/rgmp/Kconfig" source "configs/sam3u-ek/Kconfig" source "configs/sim/Kconfig" source "configs/skp16c26/Kconfig" source "configs/stm3210e-eval/Kconfig" source "configs/stm3220g-eval/Kconfig" source "configs/stm3240g-eval/Kconfig" source "configs/stm32f4discovery/Kconfig" source "configs/sure-pic32mx/Kconfig" source "configs/teensy/Kconfig" source "configs/twr-k60n512/Kconfig" source "configs/us7032evb1/Kconfig" source "configs/vsn/Kconfig" source "configs/xtrs/Kconfig" source "configs/z16f2800100zcog/Kconfig" source "configs/z80sim/Kconfig" source "configs/z8encore000zco/Kconfig" source "configs/z8f64200100kit/Kconfig"