Removed 32-bit x86 target
@@ -203,51 +203,6 @@ let
},
--
- -- Generic Intel ia32 32-bit x86 core
- --
- cpuDriver {
- architectures = [ "x86_32" ],
- assemblyFiles = [ "arch/x86_32/boot.S",
- "arch/x86_32/entry.S",
- "arch/x86_32/pic.S",
- "../usr/drivers/cpuboot/init_ap_x86_32.S" ],
- cFiles = [ "arch/x86_32/debug.c",
- "arch/x86_32/gdb_arch.c",
- "arch/x86_32/init.c",
- "arch/x86_32/irq.c",
- "arch/x86_32/startup_arch.c",
- "arch/x86_32/dispatch.c",
- "arch/x86_32/exec.c",
- "arch/x86_32/syscall.c",
- "arch/x86_32/paging.c",
- "arch/x86_32/page_mappings_arch.c",
- "arch/x86/apic.c",
- "arch/x86/pic.c",
- "arch/x86/cmos.c",
- "arch/x86/misc.c",
- "arch/x86/serial.c",
- "arch/x86/conio.c",
- "arch/x86/syscall.c",
- "arch/x86/debugregs.c",
- "arch/x86/perfmon.c",
- "arch/x86/perfmon_intel.c",
- "arch/x86/perfmon_amd.c",
- "arch/x86/rtc.c",
- "arch/x86/timing.c",
- "arch/x86/startup_x86.c",
- "arch/x86/multiboot.c",
- "arch/x86/ipi_notify.c"
- ],
- mackerelDevices = [ "lpc_pic",
- "pc16550d",
- "ia32",
- "amd64",
- "xapic",
- "cpuid",
- "lpc_rtc" ],
- addLibraries = [ "elf_kernel" ]
- },
- --
-- Versatile Express Cortex-A15 ARMv7-A, e.g. GEM5 or qemu
--
cpuDriver {
