https://www.tomek.cedro.info/freebsd-zephyr-rtos-esp32/