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
..
include	Documentation: remove all migrated READMEs	2023-10-29 21:03:54 -03:00
src	tcbinfo:remove total_num form tcbinfo.	2023-11-21 21:52:24 -08:00
Kconfig	arch/x86: Fix the Kconfig warning	2022-06-07 12:43:11 +09:00