Heck, we've got most of it. What if we had a virtual PCI bus to enumerate and identify the built-in stuff, and picked a short list of supported stuff to put on htere?

This obsoletes devicetree, parts of acpi, and the other things everyone hates.

The PC isn't a good platform, but it is a platform.

There's a lot of hardware bugs and stupidity to deal with, but at least it's pretending that it's interoperable. I haven't had to worry about which interrupt controller the motherboard I bought had for a while. If it does change, there's typically a compatible interface, and the new interface becomes universally available eventually.

This is what the SBC world misses.

Nominative determinism may or may not be real, but it's amazing when it happens.

See also: Sue Yoo, Lawyer.

It's never about the instruction set, but about the peripherals.