I already knew about that. I was actually wondering if Debian could boot on one of these boards and how stable it is on them. I noticed that there's a Rockchip bootloader in the Debian repository, and I was wondering if that was necessary for Debian to be able to boot on the NanoPi M4.
I'm considering buying one of these boards for a small home server running Freedombox, which is a Debian-based distribution which is designed to make it easier to set up a home server for a number of uses, including media, contacts, calendars, XMPP and SIP. Has anyone tried installing either Freedombox or Debian on this board?