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						+= entry64.o
obj-y						+= frontend.o
obj-y						+= idle.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						+= msr.o
obj-y						+= page_alloc.o
obj-y						+= pci.o
obj-y						+= pic.o
obj-y						+= perfmon.o
obj-y						+= pmap.o pmap64.o
obj-y						+= process64.o
obj-y						+= rdtsc_test.o
obj-y						+= setjmp64.o
obj-y						+= support64.o
obj-y						+= smp.o
obj-y						+= smp_boot.o
obj-y						+= smp_entry64.o
obj-y						+= time.o
obj-y						+= trap.o trap64.o
obj-y						+= trapentry64.o
obj-y						+= usb.o
obj-y						+= topology.o
obj-y						+= vmm/