https://www.riot-os.org/
Seems to be an active project. It allows rust along with c/c++ for runtime.
Interesting discussion on performance:
I guess zephyr has SMP and that has overhead perhaps.