summaryrefslogtreecommitdiff
path: root/src/arch
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch')
-rw-r--r--src/arch/x86/system.cc5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/arch/x86/system.cc b/src/arch/x86/system.cc
index f12d6e424..ae47b14fd 100644
--- 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,