nuttx/arch/x86_64
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 Fix typos 2022-08-07 23:33:19 +08:00