Devices With GNU/Linux: BOXiedge, Raspberry Pi and Xiaomi Mi Router