diff options
| -rw-r--r-- | src/arch/x86/system.cc | 5 |
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, |