I’ve recently learned that testing SMP applications with QEMU is usually imperfect due to issues around synchronizing vCPUs & host OS thread scheduling.
So, I was curious about what the RTEMS community has found works best when testing & debugging SMP applications. So far, I know about using icount mode on QEMU to get more deterministic outcomes and slowing down the tick rate with CONFIGURE_MICROSECONDS_PER_TICK.