Dispositivos baseados em Linux