Sorry - Atollic produced that plug in themselves so I am not over familiar with it. I would image Semaphores will appear in the queues window though - the official state viewer plug-in used to show both in the same window until very recent versions of FreeRTOS where changes were made to allow the state viewer to distinguish between the two (you can add semaphores to the queue registry just as you can queues).