A měl bych možná nepatrnou obavu, jak to pojede na ARMu, pokud neproběhne inicializace čipu BIOSovou option ROMkou. Nemám zkušenost.
Option ROM potrebujes na to, abys z toho mohl bootovat (na x86) a vetsinou je to potreba jen na Legacy boot - protoze UEFI bios ma o dost schopnejsi driver model a jeho vestaveny AHCI driver dokaze inicializovat i ty externi addon adaptery podle PCI CLASS (namisto VID/PID).
Na ARMu v dobe IMX6 jsme zkouseli nejakou random asmediu a fungovalo to.. s kernel driverama. Jak ta karta ma jen MMIO a zadne IO porty (specialita x86 a deprecated v PCIe), tak neni duvod proc by to na ARMu nechodilo - jsou-li k tomu ovladace.. a zde znova, linux driver je AHCI, neni to specificky na brand radice.. non-AHCI SATA radice se delali v dobe SATA-I, kdy to vyrobce bastlili nad svym PATA kremikem
