On Thu, 2026-10-22 at 14:28 +0100, Polarian wrote: > Firstly, if the server supports UEFI booting, which the majority of > servers made in the last 2 decades would, messing around with BIOS > boot is often not worth it.
+1 Polarian's reply was in the spam folder on the server. If I'd seen it sooner, I could have saved myself the trouble of writing the other emails. Quite obviously, the OP's firmware also supports UEFI, and even though I hate UEFI and had to choose it against my will, I think Polarian is actually right, because sooner or later you'll have to port to new hardware, and then you'll have to use UEFI anyway (just like I was forced to do so, in my case, it was the GPU).
