Nur falls das noch von Interesse ist, ich nutze da drauf im Moment ein Debian Buster 10 und zwar nicht das Image vom Hersteller (was für ein lahmer Download), sondern den offiziellen RC1 Release von Debian.
Läuft astrein, auch mit dem Gnome Desktop. Obwohl ich in dem Bereich ziemlich verwöhnt bin und das auf den Boards eigentlich nicht mag, weil fast immer viel zu lahm.
So unbekannte Quelle ist nicht unbedingt das was ich mir hier im Haus installieren will 🙂