X86: Report an error if there's no kernel object, don't blindly use it.

This way the user gets a nice message instead of a less nice segfault.

diff --git a/src/arch/x86/system.cc b/src/arch/x86/system.cc
index effe1e99466f5a3ab3c9e2121fe9f28979fba9eb..87fb61edc1aa5f247ff7824c9896c5cd9a927a60 100644 (file)
--- a/src/arch/x86/system.cc
+++ b/src/arch/x86/system.cc
@@ -114,6 +114,9 @@ X86System::initState()
 {
     System::initState();
 
+    if (!kernel)
+        fatal("No kernel to load.\n");
+
     if (kernel->getArch() == ObjectFile::I386)
         fatal("Loading a 32 bit x86 kernel is not supported.\n");