uses CONFIG_GENERATE_PIRQ_TABLE
uses CONFIG_GENERATE_ACPI_TABLES
uses CONFIG_MULTIBOOT
uses CONFIG_HAVE_ACPI_RESUME

object boot.o
object coreboot_table.o
if CONFIG_MULTIBOOT
object multiboot.o
end
object tables.o
if CONFIG_GENERATE_PIRQ_TABLE
object pirq_routing.o 
end
if CONFIG_GENERATE_ACPI_TABLES
object acpi.o
object acpigen.o
if CONFIG_HAVE_ACPI_RESUME
object wakeup.S
end
end
object gdt.o