Picotux est un système embarqué équipé du noyau Linux. Plusieurs modèles de Picotux sont disponibles, le principal étant le Picotux 100.