diff -r cfd2a8364ea1 -r 417e83f061df src/sim/system.cc
--- a/src/sim/system.cc	Mon Aug 06 18:14:32 2012 -0500
+++ b/src/sim/system.cc	Mon Aug 06 18:17:04 2012 -0500
@@ -110,7 +110,9 @@
     if (FullSystem) {
         if (params()->kernel == "") {
             inform("No kernel set for full system simulation. "
-                    "Assuming you know what you're doing if not SPARC ISA\n");
+                   "Assuming you know what you're doing\n");
+
+            kernel = NULL;
         } else {
             // Get the kernel code
             kernel = createObjectFile(params()->kernel);