Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / mitac / 6513wu /
drwxr-xr-x   ..
-rw-r--r-- 1295 Kconfig
-rw-r--r-- 896 chip.h
-rw-r--r-- 3139 devicetree.cb
-rw-r--r-- 3017 irq_tables.c
-rw-r--r-- 1071 mainboard.c
-rw-r--r-- 1627 romstage.c