Consistently use CONFIG_COREBOOT, CONFIG_QEMU, and runningOnXen().
treea7edc7ab19a7a96d41593807111ebb417e9346c5
-rw-r--r-- 30 .gitignore
-rw-r--r-- 35147 COPYING
-rw-r--r-- 7639 COPYING.LESSER
-rw-r--r-- 8918 Makefile
-rw-r--r-- 7500 README
-rw-r--r-- 1112 README.CSM
-rw-r--r-- 697 TODO
drwxr-xr-x - src
drwxr-xr-x - tools
drwxr-xr-x - vgasrc