I just noticed new version of Micropython source has support for a Zephyr rtos port.
Why did you chooses Zephyr over other rtos products?
What is the status of the port? I see some support for uart and gpio. Are others being worked on?
A quick scan of the Zephyr source shows "board support" for an xtensa simulator. This could possibly be
be enhanced to allow Micropython to run on esp32 as well as on esp8266, which use xtensa cpu's.
Zephyr status
Re: Zephyr status
There is a well developed version of MicroPython for ESP8266 and an experimental port for generic esp32 boards at http://micropython.org/download/, and a broad range of ESP32 based versions at www.pycom.io.