X86: Detect attempts to load a 32 bit kernel and panic.

2010-10-10 20:39:26 -07:00
parent 157d6f9c2f
commit b273e0be33
1 changed files with 4 additions and 1 deletions
--- a/src/arch/x86/system.cc
+++ b/src/arch/x86/system.cc
@@ -60,7 +60,10 @@ X86System::X86System(Params *p) :
    mpFloatingPointer(p->intel_mp_pointer),
    mpConfigTable(p->intel_mp_table),
    rsdp(p->acpi_description_table_pointer)
-{}
+{
+    if (kernel->getArch() == ObjectFile::I386)
+        fatal("Loading a 32 bit x86 kernel is not supported.\n");
+}

 static void
 installSegDesc(ThreadContext *tc, SegmentRegIndex seg,