Comme tu aimes bien sortir des sentiers battus tu as la chipkit32.
J'ai bien regardé cette carte (les deux, elle existe en UNO et MAX), mais ça ne m'a pas convaincu (pas mal de retours négatifs dans les forums).
Évidemment c'est une autre architecture à prendre en main et au moins 600 pages de doc à comprendre.
Perso je ne suis pas tenté, mais pas de problème pour
un jeune plein d'avenir comme toi

Ben figure-toi que même si je suis presque plus jeune que toi, je commence déjà à ressentir les limites de ma mémoire interne, si je le pouvais, je changerais bien le core de mon cerveau en lui rajoutant un peu d'EPROM, je crois que les 100 000 cycles writing sont atteints. Mais le choix d'une plateforme alternative à l'arduino est un point à voir dans le café (je ne suis pas tenté de mon côté de tester plusieurs cartes). Cependant, l'arduino reste encore une plateforme intéressante car rapide à mettre en oeuvre, bien qu'un peu chère par rapport aux autres cartes du genre.
J'ai vu un autre projet OS qui devrait sortir en novembre, un proc 32b/72MHz monté sur un PCB tiny (2 x 4cm) : le Galago. Ca a l'air rigolo, mais il est en prévente à 29 bons dollars + FDP. (tu peux leur donner 1500 $, ils t'enverront 5 exemplaires de chaque carte).