[coreboot] why is firmware 32 bit as opposed to 64 bit

[ron minnich]

On Sun, Aug 10, 2014 at 2:48 PM, The Gluglug <info at gluglug.org.uk> wrote:

> What about 32-bit-only machines, or people that want to use a 32-bit OS?
>

well, we won't compile 64-bit firmware for 32-bit machines, if that
helps. See: ARM v8 vs. v7.

And a 32-bit OS can run on a machine with 64-bit firmware; see: EFI.

ron