[antonkochubey]

There are the Arm SystemReady and ServerReady requirements/specifications that enable generic board support by the OSes.

[pjmlp]

Thanks, I thought we were still on device trees and little else.

[jakogut]

Practically speaking, very few systems actually support SystemReady. There's an experimental port of edk2 for the Raspberry Pi, but some hardware is unavailable when using it.

[jabl]

The ARM server platforms seem quite decent here? But yeah, pick any small dev board and I suspect it looks quite different.