DietPi is an excellent Debian spin for ARM SBCs. They support many platforms (although most of the userbase uses Raspberry Pi).
They have a long history and their own set of tools to streamline CLI-based management of SBC-based DIY home servers.
I can strongly recommend this OS for home SBC management.