env_create_mutex for freertos has semaphore implementation: https://www.geeksforgeeks.org/mutex-vs-semaphore/ This can consufe users during new ports or debugging.