anjiahao 749655d785 tcbinfo:remove total_num form tcbinfo. ... total_num is not required test: make -f tools/Makefile.host cp tools/jlink-nuttx /opt/SEGGER/JLink_V786a/libnuttxplugin.so JLinkGDBServer -if SWD -speed 5000 -device STM32F429ZI -NoGui 1 -rtos libnuttxplugin can run normally Signed-off-by: anjiahao <anjiahao@xiaomi.com>		2023-11-21 21:52:24 -08:00
..
__init__.py
lists.py
memdump.py	tools/gdb/memdump.py: fix the wrap line output indentation	2023-09-21 13:49:43 +08:00
thread.py	tcbinfo:remove total_num form tcbinfo.	2023-11-21 21:52:24 -08:00
utils.py