We are investigating options for a certified/certifiable BIOS for the E3950 Atom processor in an avionics application. Reading some posts here, I've come across two options for general Intel BIOS: 1) using FSP + Coreboot/etc, or 2) Intel firmware engine.
Are either of these options better suited for certification? Or better options I didn't find? Curious if other users have had experience getting a BIOS certified for Intel processors?