In my configuration, the tick source for touchGFX is the LTDC vsync interrupt. This was the recommended configuration in STM32CubeMX. However, that means that ThreadX is doing its own thing while model::tick (e.g., TouchGFX) is also running. The Thre...