Good to know. That is about what I figured. It isn't using coreboot or a non-free BIOS. Obviously there is something present prior to the OS (although maybe I worded it badly). I think there is something which distinguishes the BIOS in x86 systems with the firmware here. I know there is a lot of legacy stuff left over from the days of DOS.

Reply via email to