Recently, 64-bit ARM systems have appeared on the market that use UEFI to boot "generic" (i.e. non-board-specific) OS images, like an x86 PC would. These typically follow either Linaro's SBBR or Microsoft's Always Connected PC specifications, largely compatible with each other. Work is also ongoing on developing SBBR-style firmware for some existing boards, e.g. newer Raspberry Pi boards now have such firmware available.
These platforms could ideally be supported using a single, PC-style "hybrid ISO" image with kernel modules included for various ARM peripherals.
Recently, 64-bit ARM systems have appeared on the market that use UEFI to boot "generic" (i.e. non-board-specific) OS images, like an x86 PC would. These typically follow either Linaro's SBBR or Microsoft's Always Connected PC specifications, largely compatible with each other. Work is also ongoing on developing SBBR-style firmware for some existing boards, e.g. newer Raspberry Pi boards now have such firmware available.
These platforms could ideally be supported using a single, PC-style "hybrid ISO" image with kernel modules included for various ARM peripherals.