[SeaBIOS] [PATCH 2/5] Introduce framework for detecting what platform SeaBIOS is running on.

[Kevin O'Connor]

On Fri, Feb 08, 2013 at 01:56:13PM +0100, Fred . wrote:
> Maybe would be nice with a:
> int get_platform();
> 0 = QEMU
> 1 = Xen
> 2 = Coreboot
> 3 = CSM
> 
> Then you have one get_platform() function, instead of four separate
> startedOnQEMU(), startedOnCoreboot, startedOnCSM, etc functions.

That's done on purpose so that the compiler can optimize away chunks
of code depending on the various Kconfig settings.

-Kevin