Picotux es el computador que funciona con el sistema operativo GNU/Linux más pequeño del mundo.Hay diversas clases de Picotux disponibles, pero el principal es el Picotux 100.