I think a better idea is for FreeRTOS to offer this API such that each project doesn’t invent it’s own.