Easiest ARM 64-bit developer boards to get hold of and integrate are the Raspberry Pis, so I used 4 of them in a 1U cluster to provide both Linux kernel development lab machines as well as infrastructure like terminal server and test servers. In this cluster I have two infrastructure servers (Raspberry Pi 3)and 2…