Devices and SBCs with GNU/Linux