Replying to
@spipau@mastodon.social @tbernard@mastodon.social yeah I was looking at RISC-V single-board computers and they have the same problem as ARM devices, where you can't install a generic Linux distro on them because they don't support ACPI and there's no way to make a generic Linux distro boot with a specialized devicetree easily. So the designers provide a special build of a Linux distro, which is totally impractical for real world use.