Hacker News new | ask | show | jobs
by Sir_Cmpwn 3137 days ago
coreboot is not the Linux kernel.