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