3 ms·What hardware are you running coreboot on?by nextos 11y agoWhat hardware are you running coreboot on?agumonkey 11y agoI'm not (at least for now, I have a spare compatible thinkpad), I was just implying that the BIOS is now the bottleneck.nextos 11y agoOh, I see. I also ran Arch (on MBA 2012, perfect compatibility). It's wicked fast to boot using the kernel as an EFI payload (efistub).