uses CONFIG_GENERATE_MP_TABLE
uses CONFIG_IOAPIC

if CONFIG_GENERATE_MP_TABLE
  object mpspec.o 
end
if CONFIG_IOAPIC
  object ioapic.o
end