Hi @Collin,
ThreadX SMP should enable multiple threads running across multiple cores at the same time. With your 4 core system, you can expect 4 threads to be in the executing state simultaneously, one thread on each core. I would recommend you double check any configuration files such as tx_user.h and tx_port.h in your project, specifically any options related to cores with SMP enabled. Do you mind sharing which SMP port are you using?
Thanks,
Cindy