His offering uses the Arduino Uno, but there are several other hardware ... But if you’re just interested in loading an open source BIOS alternative this is easy to set up.

Though it’s the same size and shape as the Arduino Uno, the Pinguino microcontroller includes a 32-bit MIPS processor core running at 80MHz, 256KB of flash program memory, and 32KB of SRAM data ...