a9be5eb6e7
Mastertools: add spk binary format and entry point for mpy * tools: add spk binary format The .spk binary format is used on spresense and other boards based on the cxd56 arch. to enable this binary format please set in your config CONFIG_CXD56_BINARY=y Signed-off-by: Alin Jerpelea <alin.jerpelea@sony.com> * configs: spresense: buils nuttx.spk images Enable nuttx.spk binary image that can be flashed on spresense board. Signed-off-by: Alin Jerpelea <alin.jerpelea@sony.com> * configs: spresense: add entry point for mpy The entry point is needed for the downstream projects based on spresense. Signed-off-by: Alin Jerpelea <alin.jerpelea@sony.com> Approved-by: Gregory Nutt <gnutt@nuttx.org>
87 lines
2.1 KiB
Plaintext
87 lines
2.1 KiB
Plaintext
#
|
|
# 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_CXD56_I2C0_SCUSEQ is not set
|
|
# CONFIG_MMCSD_HAVE_WRITEPROTECT is not set
|
|
# CONFIG_MMCSD_SPI is not set
|
|
# CONFIG_STANDARD_SERIAL is not set
|
|
CONFIG_ARCH="arm"
|
|
CONFIG_ARCH_BOARD="spresense"
|
|
CONFIG_ARCH_BOARD_SPRESENSE=y
|
|
CONFIG_ARCH_CHIP_CXD56XX=y
|
|
CONFIG_ARCH_STACKDUMP=y
|
|
CONFIG_ARMV7M_USEBASEPRI=y
|
|
CONFIG_BOARD_LOOPSPERMSEC=5434
|
|
CONFIG_BOOT_RUNFROMISRAM=y
|
|
CONFIG_BUILTIN=y
|
|
CONFIG_CDCACM=y
|
|
CONFIG_CDCACM_COMPOSITE=y
|
|
CONFIG_CLOCK_MONOTONIC=y
|
|
CONFIG_COMPOSITE_IAD=y
|
|
CONFIG_COMPOSITE_MSFT_OS_DESCRIPTORS=y
|
|
CONFIG_COMPOSITE_PRODUCTID=0x0bc2
|
|
CONFIG_COMPOSITE_VENDORID=0x054c
|
|
CONFIG_COMPOSITE_VENDORSTR="Sony"
|
|
CONFIG_CXD56_BINARY=y
|
|
CONFIG_CXD56_I2C0=y
|
|
CONFIG_CXD56_I2C=y
|
|
CONFIG_CXD56_SDIO=y
|
|
CONFIG_CXD56_SPI4=y
|
|
CONFIG_CXD56_SPI5=y
|
|
CONFIG_CXD56_SPI=y
|
|
CONFIG_CXD56_USBDEV=y
|
|
CONFIG_DEBUG_FULLOPT=y
|
|
CONFIG_DEBUG_SYMBOLS=y
|
|
CONFIG_FAT_LCNAMES=y
|
|
CONFIG_FAT_LFN=y
|
|
CONFIG_FAT_MAXFNAME=64
|
|
CONFIG_FS_FAT=y
|
|
CONFIG_FS_PROCFS=y
|
|
CONFIG_FS_PROCFS_REGISTER=y
|
|
CONFIG_HAVE_CXX=y
|
|
CONFIG_HAVE_CXXINITIALIZE=y
|
|
CONFIG_I2C=y
|
|
CONFIG_MAX_TASKS=16
|
|
CONFIG_MAX_WDOGPARMS=2
|
|
CONFIG_MMCSD=y
|
|
CONFIG_MMCSD_SDIO=y
|
|
CONFIG_NFILE_DESCRIPTORS=8
|
|
CONFIG_NFILE_STREAMS=8
|
|
CONFIG_NSH_ARCHINIT=y
|
|
CONFIG_NSH_BUILTIN_APPS=y
|
|
CONFIG_NSH_READLINE=y
|
|
CONFIG_PREALLOC_MQ_MSGS=4
|
|
CONFIG_PREALLOC_TIMERS=4
|
|
CONFIG_PREALLOC_WDOGS=16
|
|
CONFIG_RAM_SIZE=1572864
|
|
CONFIG_RAM_START=0x0d000000
|
|
CONFIG_READLINE_CMD_HISTORY=y
|
|
CONFIG_RR_INTERVAL=200
|
|
CONFIG_RTC=y
|
|
CONFIG_RTC_DRIVER=y
|
|
CONFIG_SCHED_WAITPID=y
|
|
CONFIG_SDCLONE_DISABLE=y
|
|
CONFIG_SPI=y
|
|
CONFIG_START_DAY=6
|
|
CONFIG_START_MONTH=12
|
|
CONFIG_START_YEAR=2011
|
|
CONFIG_SYSTEM_CDCACM=y
|
|
CONFIG_SYSTEM_CLE=y
|
|
CONFIG_SYSTEM_COMPOSITE=y
|
|
CONFIG_SYSTEM_NSH=y
|
|
CONFIG_SYSTEM_NSH_CXXINITIALIZE=y
|
|
CONFIG_SYSTEM_USBMSC=y
|
|
CONFIG_UART1_SERIAL_CONSOLE=y
|
|
CONFIG_USBDEV=y
|
|
CONFIG_USBDEV_COMPOSITE=y
|
|
CONFIG_USBDEV_DMA=y
|
|
CONFIG_USBDEV_DUALSPEED=y
|
|
CONFIG_USBMSC=y
|
|
CONFIG_USBMSC_COMPOSITE=y
|
|
CONFIG_USBMSC_REMOVABLE=y
|
|
CONFIG_USER_ENTRYPOINT="nsh_main"
|