PINE64
04/2016 : la carte électronique PINE64 est une plateforme open source logicielle et matérielle. Il s'agit d'une carte similaire au Raspberry pi mais doté d'un processeur Quad core ARM 64 bit cadencé à 1.2 GHz épaulé de 1 ou 2 Go de RAM, un port Ethernet Gb, sortie HDMI, USB… Elle a été lancée via une campagne crowdfounding sur kickstarter pour un prix démarrant à 15 $ ! Avec les frais de port, le total s'élève à 31 €.
La description matérielle complète en image est disponible ici.
Vue de dessus de la PINE64 :
J'ai offert une de ses cartes à Christian Marillat, mainteneur de deb-multimedia, pour l'aider dans la production de paquets Debian 
(vlc, mythtv, kodi, mplayer, ffmpeg…) pour l'architecture arm64.
Les premiers tests ont montré que la carte présentait des défauts de stabilités lors des compilations liés à la forte température du processeur 
. En traçant l'évolution de la fréquence et de la température au cours d'une compilation de ffmpeg, la température avoisine les 80°C alors que la fréquence du processeur stagne à 750 MHz alors qu'il est donné pour 1.2 GHz.
Les diagrammes ci dessous ont été réalisés avec le gouverneur de fréquence conservative.
J'ai alors proposé à Christian d'ajouter des radiateurs sur les composants principaux pour aider le refroidissement. Ainsi, j'ai sélectionné sur un site de vente aux enchères en ligne 3 modèles de radiateurs :
- Processeur : 20×20 mm
- Régulateur : 9×9 mm
- RAM : 14×14 mm
Ces radiateurs sont accompagnés de pastilles autocollantes double face pour un montage plus simple.
Radiateurs montés sur la PINE64.
Une fois installés, des nouvelles mesures ont été réalisées dans les mêmes conditions que précédemment et voici les diagrammes :
Un gain en stabilité et une température significativement plus basse d'environ 10°C 
sont constatés. De plus, comme le processeur est moins chaud, la fréquence de fonctionnement est plus élevée et plus stable autour de 820 MHz 
.