Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / asrock / 939a785gmh /
drwxr-xr-x   ..
-rw-r--r-- 1397 Kconfig
drwxr-xr-x - acpi
-rw-r--r-- 6623 acpi_tables.c
-rw-r--r-- 850 chip.h
-rw-r--r-- 3971 cmos.layout
-rw-r--r-- 4356 devicetree.cb
-rw-r--r-- 41392 dsdt.asl
-rw-r--r-- 6361 fadt.c
-rw-r--r-- 3356 get_bus_conf.c
-rw-r--r-- 3246 irq_tables.c
-rw-r--r-- 5020 mainboard.c
-rw-r--r-- 5270 mptable.c
-rw-r--r-- 8651 resourcemap.c
-rw-r--r-- 7251 romstage.c