Názor k článku Rock64: další vyzyvatel RPi láká na USB 3.0 a gigabitový ethernet od Ladislav Michl - A on nějaký výrobce uvedl na trh ARM...

A on nějaký výrobce uvedl na trh ARM ATX desku bez UEFI? Měl jsem za to, že byste to chtěl i po výrobcích SBC neboť u ATX formátu desky je to tak nějak normální.
Pokud jde o boot ROM RPi pak jest součástí SoC, více třeba zde: https://www.raspberrypi.org/documentation/hardware/raspberrypi/bootmodes/bootflow.md
SoC samozřejmě umí bootovat i z NAND, SPI... ovšem kluci malinoví se s tím neobtěžují. Přitom jen ta NAND by stačila, aby to bylo o několik řádů spolehlivější.
Stručně: po resetu RPi ARM jádro neběží, GPU běží, SDRAM netiká. GPU začně provádět kód BootROM (to je součást SoC), ten se podívá jak má zadrátované bootovaní a pokusí se načíst bootcode.bin z SD karty do L2 cache a spustit jej: ten nastaví SDRAM a načte do ní loader.bin. Tady už si nejsem jistý, myslím, že loader.bin natáhne jádro a teprve když mu předává řízení odresetuje ARM (bez záruky, už jsem to dlouho neviděl neboť RPi je pro mě naprosto nezajímavý hw).
Mimochodem, na absenci jakékoliv standardizace ARM platformy si stěžuje i jakýsi Torvalds ;-)
(přesněji, on si tuším nestěžuje, jen říká, že to je to, co ARM činí proti x86 méně atraktivním)