diff -r 546c87377b7d -r a579fd9d73f1 src/cpu/checker/cpu.cc
--- a/src/cpu/checker/cpu.cc	Sun Feb 05 05:40:34 2012 -0800
+++ b/src/cpu/checker/cpu.cc	Sun Feb 05 06:24:54 2012 -0800
@@ -84,7 +84,8 @@
     systemPtr = NULL;
     workload = p->workload;
     // XXX: This is a hack to get this to work some
-    thread = new SimpleThread(this, /* thread_num */ 0, workload[0], itb, dtb);
+    thread = new SimpleThread(this, /* thread_num */ 0,
+            workload.size() ? workload[0] : NULL, itb, dtb);
 
     tc = thread->getTC();
     threadContexts.push_back(tc);