obj-y						+= apic.o
obj-y						+= apic9.o
obj-y						+= colored_caches.o
obj-y						+= console.o
obj-y						+= cpuinfo.o
obj-y						+= devarch.o
obj-y						+= entry$(BITS).o
obj-y						+= frontend.o
obj-y						+= init.o
obj-y						+= intel.o
obj-y						+= ioapic.o
obj-y						+= kclock.o
obj-y						+= kdebug.o
obj-y						+= mpacpi.o
obj-y						+= mp.o
obj-y						+= msi.o
obj-y						+= page_alloc.o
obj-y						+= pci.o
obj-y						+= pic.o
obj-y						+= perfmon.o
obj-y						+= pmap.o pmap$(BITS).o
obj-y						+= process$(BITS).o
obj-y						+= rdtsc_test.o
obj-y						+= setjmp$(BITS).o
obj-y						+= support$(BITS).o
obj-y						+= smp.o
obj-y						+= smp_boot.o
obj-y						+= smp_entry$(BITS).o
obj-y						+= time.o
obj-y						+= trap.o trap$(BITS).o
obj-y						+= trapentry$(BITS).o
obj-y						+= usb.o

# Virtual machine support. Optional.
obj-$(CONFIG_VM)				+= emulate.o
obj-$(CONFIG_VM)				+= vmx.o
obj-$(CONFIG_VM)				+= vmx_mmu.o