https://embetronicx.com/tutorials/rtos/zephyr-rtos-esp32/setup-zephyr-rtos-for-esp32/
Setup Zephyr RTOS for ESP32 (Getting Started Zephyr RTOS) – Part 1