...tak už jsou od léta k dispozici image vanilkového Debianu pro RPI4...
https://raspi.debian.net/tested-images/
a četl jsem taky doporučení na Ubuntu a OpenSUSE.
Firma si může do svého proprietárního OS přidat repo jaké chce, ne? ;-)
Mně funguje normální Debian i na RPi2/3. Ale jak je to s utilitami jako rpi-eeprom-update? Dají se tam nějak doinstalovat? Nedávno jsem musel aktualizovat EEPROM kvůli bootování z flashky a tuším že nějakým problémem s HDMI. V repozitáři je balíček raspi-firmware, ale to je asi jenom bootloader a ne updatování „EEPROM“.