rename linuxbios_* files, too.
[coreboot.git] / src / arch / i386 / boot / Config.lb
1 uses HAVE_PIRQ_TABLE
2 uses HAVE_ACPI_TABLES
3
4 object boot.o
5 object coreboot_table.o
6 object tables.o
7 if HAVE_PIRQ_TABLE
8 object pirq_routing.o 
9 end
10 if HAVE_ACPI_TABLES
11 object acpi.o
12 end
13