GNU/Linux Devices: Raspberry Pi, AAEON and Librem 5