I will add a check to pios_semaphore.c for either PIOS_INCLUDE_FREERTOS or PIOS_INCLUDE_IRQ being defined or else fail compilation with a respective error printed to console.