MCU libre sous linux

Bonjour tout le monde ! J'aimerai savoir si vous connaissez des MCU libres sous linux. J'ai trouvé que OpenMCU et j'ai besoin d'au moins 3 dans le cadre d'une étude comparative que je suis en train de faire ! Merci de bien vouloir m'aider.