x86: Add a 64-bit 'coreboot64' build
[platform/kernel/u-boot.git] / board / coreboot / coreboot /
drwxr-xr-x   ..
-rw-r--r-- 629 Kconfig
-rw-r--r-- 321 MAINTAINERS
-rw-r--r-- 330 Makefile
-rw-r--r-- 314 coreboot.c
-rw-r--r-- 303 start.S