Thanks for the feedback! Much appreciated

- I misread the docs on the Recursive Mutex - that's a better solution
- looking more into this. In practice I never ran into this issue but for completeness I will do the right thing here.
- atomics: under the hood they are stdatomics, but the API/ABI for ...

Sharing an open-source project we've been using in our ESP-IDF work: Boreas, a thin compatibility layer that lets you write IDF projects using Zephyr RTOS API conventions; a more uniform, structured surface on top of ESP-IDF/FreeRTOS.

What you get:

- Kernel primitives: k_sem, k_work, k_timer, k ...