The packed-attribute on the tcb_info_s type was misplaced, which caused
incompatible memory layout between host and target. According to
current GCC documentation:
> You may specify type attributes in an enum, struct or union type
> declaration or definition by placing them immediately after the struct,
> union or enum keyword. You can also place them just past the closing
> curly brace of the definition, but this is less preferred because
> logically the type should be fully defined at the closing brace.
I also added jlink-nuttx.so to the .gitignore list and updated nxstyle
to ignore the camel case function names required by JLinkGDBServer.
Signed-off-by: Michael Jung <mijung@gmx.net>
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>