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>
106 lines
2.6 KiB
Plaintext
106 lines
2.6 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_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_BOARDCTL_RESET=y
|
|
CONFIG_BOARDCTL_USBDEVCTRL=y
|
|
CONFIG_BOARD_LOOPSPERMSEC=5434
|
|
CONFIG_BOOT_RUNFROMISRAM=y
|
|
CONFIG_BUILTIN=y
|
|
CONFIG_CLOCK_MONOTONIC=y
|
|
CONFIG_CODECS_HASH_MD5=y
|
|
CONFIG_CXD56_BINARY=y
|
|
CONFIG_CXD56_SDIO=y
|
|
CONFIG_CXD56_USBDEV=y
|
|
CONFIG_DEBUG_FULLOPT=y
|
|
CONFIG_DEBUG_SYMBOLS=y
|
|
CONFIG_EXAMPLES_HELLO=y
|
|
CONFIG_EXAMPLES_WEBSERVER=y
|
|
CONFIG_FAT_LCNAMES=y
|
|
CONFIG_FAT_LFN=y
|
|
CONFIG_FAT_MAXFNAME=64
|
|
CONFIG_FS_FAT=y
|
|
CONFIG_FS_FATTIME=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_NAME_MAX=256
|
|
CONFIG_NET=y
|
|
CONFIG_NETDB_DNSCLIENT=y
|
|
CONFIG_NETDEVICES=y
|
|
CONFIG_NETINIT_MACADDR_1=0xdeadbeff
|
|
CONFIG_NETINIT_NOMAC=y
|
|
CONFIG_NETINIT_THREAD=y
|
|
CONFIG_NETUTILS_CODECS=y
|
|
CONFIG_NETUTILS_DHCPC=y
|
|
CONFIG_NETUTILS_HTTPD_DIRLIST=y
|
|
CONFIG_NETUTILS_HTTPD_SENDFILE=y
|
|
CONFIG_NETUTILS_TELNETD=y
|
|
CONFIG_NETUTILS_WEBCLIENT=y
|
|
CONFIG_NETUTILS_WEBSERVER=y
|
|
CONFIG_NET_ARP_SEND=y
|
|
CONFIG_NET_BROADCAST=y
|
|
CONFIG_NET_ETH_PKTSIZE=1500
|
|
CONFIG_NET_ICMP=y
|
|
CONFIG_NET_ICMP_SOCKET=y
|
|
CONFIG_NET_LOOPBACK=y
|
|
CONFIG_NET_PKT=y
|
|
CONFIG_NET_ROUTE=y
|
|
CONFIG_NET_STATISTICS=y
|
|
CONFIG_NET_TCP=y
|
|
CONFIG_NET_UDP=y
|
|
CONFIG_NET_UDP_BINDTODEVICE=y
|
|
CONFIG_NFILE_DESCRIPTORS=8
|
|
CONFIG_NFILE_STREAMS=8
|
|
CONFIG_NSH_ARCHINIT=y
|
|
CONFIG_NSH_BUILTIN_APPS=y
|
|
CONFIG_NSH_DISABLE_TELNETD=y
|
|
CONFIG_NSH_READLINE=y
|
|
CONFIG_NSH_TELNETD_CLIENTSTACKSIZE=3072
|
|
CONFIG_NSH_WGET_USERAGENT="NuttX/7.2x.x (; http://www.nuttx.org/)"
|
|
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_RNDIS=y
|
|
CONFIG_RR_INTERVAL=200
|
|
CONFIG_RTC=y
|
|
CONFIG_SCHED_LPWORK=y
|
|
CONFIG_SCHED_WAITPID=y
|
|
CONFIG_SDCLONE_DISABLE=y
|
|
CONFIG_SPI=y
|
|
CONFIG_STACK_COLORATION=y
|
|
CONFIG_START_DAY=16
|
|
CONFIG_START_MONTH=7
|
|
CONFIG_START_YEAR=2019
|
|
CONFIG_SYSLOG_TIMESTAMP=y
|
|
CONFIG_SYSTEM_NSH=y
|
|
CONFIG_SYSTEM_NSH_CXXINITIALIZE=y
|
|
CONFIG_SYSTEM_PING=y
|
|
CONFIG_TELNET_CHARACTER_MODE=y
|
|
CONFIG_UART1_SERIAL_CONSOLE=y
|
|
CONFIG_USBDEV=y
|
|
CONFIG_USBDEV_DMA=y
|
|
CONFIG_USBDEV_DUALSPEED=y
|
|
CONFIG_USER_ENTRYPOINT="nsh_main"
|