@dadauxuiz@ursal.zone a comparação seria injusta, porque o meu servidor doméstico era um Raspberry Pi 3, e não o 4. Gerações de hardware bem diferentes. Mas o Odroid supera tudo que eu quero fazer nele, estou satisfeitíssimo com o desempenho. E instalar o Debian nele foi tão fácil quanto no Pi.