In the FreeRTOS configuration in the Cube GUI, I am able to create queues. Cube generates code to create these queues, following the CMSIS-RTOS API (`osMessageCreate`, etc.)
Is it possible to generate mail queues as well? (`osMailCreate`, etc.)? I see that the API is already available in `cmsis_os.c`, but I see no way to tell Cube to generate a mail queue rather than a message queue.
https://os.mbed.com/handbook/CMSIS-RTOS#mail-queue
The workaround for now is to manually write the code to create the mail queues, but of course this is more complicated than relying on Cube to manage the configuration for us.
