obj-y						+= boot.o
obj-y						+= cboot.o
obj-y						+= colored_caches.o
obj-y						+= console.o
obj-y						+= cpuinfo.o
obj-y						+= entry.o
obj-y						+= env.o
obj-y						+= fpu.o
obj-y						+= init.o
obj-y						+= kdebug.o
obj-y						+= page_alloc.o
obj-y						+= pmap.o
obj-y						+= process.o
obj-y						+= setjmp.o
obj-y						+= smp.o
obj-y						+= softfloat.o
obj-y						+= time.o
obj-y						+= trap.o