La scheda Computer del tè Libre è un computer a scheda singola che viene fornito senza software proprietario (almeno questo è l'obiettivo, è attualmente in crowdfunding ):
[…] all firmware and kernel sources are GPL-licensed and will always remain so, and have been vetted in advance and do not contain any copyright violations or proprietary license-violating blobs (an extremely common practice nowadays).
Usa Allwinner A20 come SoC, che usa Mali400 come GPU. Non sembra esistere un driver free / libre funzionante per Mali400, quindi questa GPU non verrà utilizzata (per impostazione predefinita) nella scheda Computer del tè Libre:
[…] it turns out that the MALI GPU is entirely memory-mapped. if you try to do "lsusb" or "cat /proc/cpuinfo" or any other kind of exploration from userspace, if you haven't compiled up mali.ko you LITERALLY cannot even SEE the MALI GPU from userspace. guess what we will not be doing? :) we will not be adding CONFIG_MALI=y to the linux kernel build process. thus, it becomes literally impossible for the average end-user to accidentally end up installing the proprietary non-free MALI 3D GPU code.
(Questo è probabilmente sufficiente per ottenere la certificazione "Respect your Freedom" della FSF.
Supponiamo che l'utente non intenda utilizzare la GPU Mali, quindi l'utente non aggiunge supporto per la compilazione del kernel.
C'è qualche rischio per la sicurezza nell'avere questa GPU "morta"?
Potrebbe contenere ed eseguire codice che fa qualcosa da solo (ad esempio, leggendo / manipolando / inviando i dati dell'utente) o il sistema operativo ha il pieno controllo su di esso?