Ask HN: What is the best way to build firmware for a standard x86 platofmr? | Hacker News Reader