syntaxerrormmm
/
smartmatic-vm
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
smartmatic-vm/README.md

5.2 KiB
Raw Blame History

Materiale per le Voting Machine SmartMatic

Hardware

Le cosiddette Voting Machine sono, più correttamente, dei sistemi SmartMatic VIU-800 (Voter Identification Unit).

Alcune informazioni sull'hardware:

Avvio e utilizzo della piattaforma EFI

Si può accedere direttamente alla configurazione del firmware della VM utilizzando il tasto Canc di qualsiasi tastiera collegata via USB. Dopo essere entrato nel firmware, il sistema è preimpostato con una password, che, come riportato dal Wiki Scuola Linux è smart?ecp.

In alternativa, come consigliato nella pagina sopra indicata, utilizzare il menù di GRUB di Ubuntu-GNOME per accedere alle impostazioni del firmware.

Dall'interno delle impostazioni del firmware è pressoché impossibile scegliere un dispositivo di boot differente da quelli già impostati; più semplice utilizzare EFI Shell (qualche istruzione per l'utilizzo qui), attendere il caricamento e puntare direttamente il file .efi contenuto nel dispositivo da avviare.

Per esempio, se sto utilizzando una chiavetta USB (dispositivo esterno) per effettuare il boot con un'altro sistema operativo, dovrò accedere al dispositivo blk1 e poi navigare fino al percorso dove esiste il file .efi:

blk1:
cd efi/boot
grubx86.efi

Personalmente, ho eseguito almeno 4 sistemi operativi differenti (tutti necessariamente con supporto EFI, l'avvio in modalità legacy non è supportato).

Stato del supporto hardware per GNU/Linux

La piattaforma hardware ha alcuni grossi problemi anche su Linux. Fondamentalmente, non sono supportati kernel precedenti alla versione 4.11; anche versioni più aggiornate hanno necessità di essere configurate manualmente con alcuni file/driver aggiuntivi per permettere al sistema di utilizzarli correttamente.

In particolare, parliamo dei seguenti dispositivi:

  • Scheda wireless: il chipset è Broadcom 43430 su bus SDIO, quindi non compare nell'output di lspci né lsusb (lo si può tuttavia vedere abbozzato utilizzando hwinfo). Il driver è nel kernel almeno dalla versione 4.9 in su (brcmfmac), ma necessita di alcuni file aggiuntivi che non vengono distribuiti con i firmware né con i driver del kernel;
  • Scheda audio: il chipset è Realtek 5640, il driver è nel kernel ma PulseAudio ha un altro dispositivo impostato per default e quindi non riesce ad attivarlo. Bisogna decommentare la seguente riga nel file /etc/pulse/default.pa per far funzionare l'audio:
load-module module-alsa-source device=hw:1,0
  • Scheda BlueTooth: ci sono firmware e un'utility per l'avvio in un repository, ma la compilazione in locale non sembra aver dato i risultati attesi.
  • Stampante termica: ND
  • Regolazione della luminosità: non funzionante con sistema nativo. Non sono stati effettuati altri test.

Linuxium

Il sito web Linuxium si presenta come una buona fonte di informazioni sul supporto con Linux delle piattaforme Intel Cherry Trail (Atom Z8500). L'autore ha lavorato su diversi fix per i principali problemi segnalati sopra e ha preparato uno script (isorespin.sh) per patchare l'immagine ISO di installazione di diversi sistemi Ubuntu-based (anche Mint).

Di seguito i risultati dell'applicazione dello script isorespin.sh con una Xubuntu 18.04 LTS «Bionic Beaver» a 64 bit:

  • La wireless viene riconosciuta già in fase di installazione;
  • Installazione Xubuntu classica, con aggiornamento online dei pacchetti;
  • Al termine dell'installazione, solo la wireless funziona correttamente (no BlueTooth, no audio).

Alcune risorse interessanti:

Fix personali per Ubuntu

Eseguire lo script come segue:

sudo bash fixes.sh <oggetto>

Dove <oggetto> può essere uno dei seguenti fix:

  • wireless: scarica il file mancante che istruisce il firmware a caricarsi, quindi scarica e ricarica il modulo del kernel;
  • audio: sistema il file principale di PulseAudio per far funzionare l'audio. È necessario un riavvio per il corretto funzionamento;