Pokud je v desce UEFI firmware (mám rád TowBoot), tak na tom opravdu nabootuje generický aarch64 image a hurá. Nahrávám si to do všeho, co mi přijde po ruce a má to trošku SPI flashe.
To je IMO ten klíčový rozdíl v UX mezi světem PC a těchto jednočipových počítačů: každé PC se dodává s předinstalovaným firmwarem s jednotným API, zatímco tyto desky jsou až na výjimky prázdné. Většina uživatelů moc nerozlišuje firmware (např. uboot) od operačního systému protože na sdkartě mají obojí, tak si to vykládají jako že musí pro každou desku hledat extra OS.
V jádru samozřejmě musí být ovladače a DTB, což ale není takový rozdíl oproti PC, kde musíte mít pro danou desku ovladače a ideálně i ACPI quirks, jinak to taky neroztlačíte. Je to tam ale jednodušší protože těch platforem je jen pár.