Very interesting project on RTOS and hopefully this can support the new RISC-V based ESP32-C3 MCU [1].

I wonder if the performance can significantly be improved if this is ported to Terra language, a system programming language meta-programmed in Lua [2]. It's going to stable 1.0 version real soon.

[1]https://www.espressif.com/en/news/ESP32_C3

[2]https://terralang.org/