in that case I will keep it as ```#ifdef USE_CHIBIOS_RTOS``` unless you have strong objections.