cpu/intel/common: Use a common acpi/cpu.asl file
[coreboot.git] / src / mainboard / samsung / stumpy / 
treeea2b14523ee3c26b147f4c208f319109156eee7c
drwxr-xr-x   ..
-rw-r--r-- 1003 Kconfig
-rw-r--r-- 43 Kconfig.name
-rw-r--r-- 682 Makefile.inc
drwxr-xr-x - acpi
-rw-r--r-- 1920 acpi_tables.c
-rw-r--r-- 141 board_info.txt
-rw-r--r-- 4350 chromeos.c
-rw-r--r-- 860 chromeos.fmd
-rw-r--r-- 3791 cmos.layout
-rw-r--r-- 3872 devicetree.cb
-rw-r--r-- 1535 dsdt.asl
-rw-r--r-- 857 gma-mainboard.ads
-rw-r--r-- 8783 gpio.c
-rw-r--r-- 2365 hda_verb.c
-rw-r--r-- 1202 mainboard.c
-rw-r--r-- 8062 romstage.c
-rw-r--r-- 1787 smihandler.c
-rw-r--r-- 1418 thermal.h