@inari ну вот всяких плат, это в основном а-ля Raspberry pi, и других diy. И то там драйвер видео, по-моему закрытый. Не вспомню ни одного по настоящему полноценного arm устройств для linux с открытыми драйверами. Особенно мобильные устройства. Но если я что-то упустил кинь варианты, интересно. Я пока разве что PineBook Pro рассматриваю. Это по настоящему хардкорный экспириенс)

Хотя кстати тут был интересен Байкал, несмотря на то, что он был arm, у него был свой uefi и первоначальная загрузка устройств была в нем. Это было очень приятно и на много более надёжно.