Un micro OS pour Arduino R4 et/ou ESP32/8266

S'il y a encore quelques personnes qui passent par ici pour faire du code voilà quelque chose d'intéressant.
Ce matin j'ai vu cet article

https://korben.info/iotos-micro-os-arduino-esp32.html

Par curiosité j'ai voulu en savoir un peu plus, tout est là

Merci @fdufnews pour le partage