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