Yeah, for some reason coreinfo stopped working and I don’t know why, I’m meant to fix it (soon, I promise!).
To answer the question, coreinfo is indeed an “info” payload that is meant to show you information on your hardware (like the PCI devices, the coreboot version, the CPU specs, etc…) I added it because some people wanted to see the PC information like on the older BIOSes, but then by the time we released, it had stopped working and I haven’t had time to look into it yet.
As for your question, yes, SeaBIOS doesn’t support UEFI, that’s why your drive doesn’t boot. You could always have Coreboot+Tianocore (instead of Coreboot+SeaBIOS), which would give you UEFI, but then it won’t boot legacy drives anymore (so your HDD and 2nd usb wouldn’t boot)… either way, we don’t have a coreboot+tianocore build available for people to replace their BIOS with it.
2 Likes