Re: UEFI is the Systemd of BIOS
> UEFI is absolutely hideously over-engineered,
> I'm not sure what the best solution would have been.
For a start, not to have followed Design By Committee procedures quite so assiduously. Gary Kildall's BIOS was well made and performed the task sensibly, but as you point out, it had then been hacked upon for decades by whoever got the job dumped on them next.
Although, as you have (inadvertently?) hinted, at the moment the single voice with the most pull who would have gleefully taken on the job would have been Poettering and gawd help us all.
I too liked Sun's use of Forth: you have reminded me, I don't know UEFI at all well (like, how does Windows update manage to make UEFI override my choice of boot OS?). For example, how many different bytecode interpreters are in there now? Is it just ACPI?
 starting right from IBM's "we did it deliberately, honest, no we do really know the difference between hex and decimal" in the serial i/o routine in their first PC BIOS.