un linux sur pic 32 non pas très raisonable, j'utilise une distrib linux sur un microcontroleur au boulot mais le bordel tourne a 400mhz (motorola) !!!

c'est de l'artillerie lourde, pas interressant dans notre cas, lourd a mettre en oeuvre et le paradoxe les couts de dev ne sont pas anodins...