From b10c6d69c498007bc38aea184322c23da2fdcb81 Mon Sep 17 00:00:00 2001 From: Gustavo L F Walbon Date: Thu, 1 Apr 2021 23:53:25 -0300 Subject: [PATCH] board/arm/lpc17xx_40xx/mbed: userled defconfig Added a simple defconfig to support the userled driver and its application for testing in the nsh. Signed-off-by: Gustavo L F Walbon --- .../mbed/configs/userled/defconfig | 55 +++++++++++++++++++ 1 file changed, 55 insertions(+) create mode 100644 boards/arm/lpc17xx_40xx/mbed/configs/userled/defconfig diff --git a/boards/arm/lpc17xx_40xx/mbed/configs/userled/defconfig b/boards/arm/lpc17xx_40xx/mbed/configs/userled/defconfig new file mode 100644 index 0000000000..3a2b69ddca --- /dev/null +++ b/boards/arm/lpc17xx_40xx/mbed/configs/userled/defconfig @@ -0,0 +1,55 @@ +# +# This file is autogenerated: PLEASE DO NOT EDIT IT. +# +# You can use "make menuconfig" to make any modifications to the installed .config file. +# You can then do "make savedefconfig" to generate a new defconfig file that includes your +# modifications. +# +# CONFIG_ARCH_LEDS is not set +# CONFIG_MMCSD_HAVE_CARDDETECT is not set +# CONFIG_MMCSD_MMCSUPPORT is not set +# CONFIG_NSH_ARGCAT is not set +# CONFIG_NSH_CMDOPT_HEXDUMP is not set +# CONFIG_NSH_CMDPARMS is not set +# CONFIG_NSH_DISABLE_IFCONFIG is not set +# CONFIG_NSH_DISABLE_PS is not set +# CONFIG_SPI_EXCHANGE is not set +CONFIG_ARCH="arm" +CONFIG_ARCH_BOARD="mbed" +CONFIG_ARCH_BOARD_MBED=y +CONFIG_ARCH_CHIP="lpc17xx_40xx" +CONFIG_ARCH_CHIP_LPC1768=y +CONFIG_ARCH_CHIP_LPC17XX_40XX=y +CONFIG_ARCH_STACKDUMP=y +CONFIG_BOARD_LOOPSPERMSEC=7982 +CONFIG_BUILTIN=y +CONFIG_EXAMPLES_LEDS=y +CONFIG_FS_FAT=y +CONFIG_LPC17_40_SSP0=y +CONFIG_LPC17_40_UART0=y +CONFIG_MAX_TASKS=16 +CONFIG_MMCSD=y +CONFIG_MMCSD_SPICLOCK=12500000 +CONFIG_MM_REGIONS=2 +CONFIG_MTD=y +CONFIG_NSH_ARCHINIT=y +CONFIG_NSH_BUILTIN_APPS=y +CONFIG_NSH_FILEIOSIZE=512 +CONFIG_NSH_LINELEN=64 +CONFIG_NSH_READLINE=y +CONFIG_PREALLOC_TIMERS=4 +CONFIG_RAM_SIZE=32768 +CONFIG_RAM_START=0x10000000 +CONFIG_RAW_BINARY=y +CONFIG_RR_INTERVAL=200 +CONFIG_SDCLONE_DISABLE=y +CONFIG_SPI=y +CONFIG_START_DAY=20 +CONFIG_START_MONTH=6 +CONFIG_START_YEAR=2010 +CONFIG_SYSTEM_NSH=y +CONFIG_TASK_NAME_SIZE=0 +CONFIG_UART0_SERIAL_CONSOLE=y +CONFIG_USERLED=y +CONFIG_USERLED_LOWER=y +CONFIG_USER_ENTRYPOINT="nsh_main"