Does Zephyr support ESP32's? I didn't see it listed on their page. I did see an Arduino variant though.