Various tiny fixes (trivial):
[coreboot.git] / payloads / coreinfo /
drwxr-xr-x   ..
-rw-r--r-- 17987 COPYING
-rw-r--r-- 1241 Kconfig
-rw-r--r-- 3061 Makefile
-rw-r--r-- 126 README
-rw-r--r-- 6023 coreboot_module.c
-rw-r--r-- 3313 coreinfo.c
-rw-r--r-- 1142 coreinfo.h
-rw-r--r-- 1461 cpuid.S
-rw-r--r-- 6963 cpuinfo_module.c
-rw-r--r-- 6051 pci_module.c
drwxr-xr-x - util