Need build scripts and images for ARM64 SBBR systems and Always Connected PCs

[Googulator]

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.

[steev]

Do you have a list of hardware that is fully supported by SBBR already? Pull requests are appreciated and welcomed if you'd like to work on one!