@hirojin @rachel MIPS generally booted with something like UEFI but command-line based. Old Unix systems in general had whole mini-OSes as their 'BIOS' (eg Sun's Open Firmware/Open Boot). PC BIOS is the exception for Unixes in how basic and primitive it is, which is due to its origins. Sadly we're basically stuck with it now.
(UEFI is kind of an attempt to move to the old Unix mini-OS model of boot firmware.)
The original server operated by the Mastodon gGmbH non-profit