diff -r 45f1f3674815 -r ac1f9dc13eaf configs/common/CpuConfig.py
--- a/configs/common/CpuConfig.py	Tue Sep 10 15:23:55 2013 +0200
+++ b/configs/common/CpuConfig.py	Tue Sep 10 15:24:10 2013 +0200
@@ -52,6 +52,7 @@
     ("atomic", "AtomicSimpleCPU"),
     ("inorder", "InOrderCPU"),
     ("detailed", "DerivO3CPU"),
+    ("kvm", ("ArmKvmCPU", "X86KvmCPU")),
     ]
 
 # Filtered list of aliases. Only aliases for existing CPUs exist in