powerpc/t1023rdb: change default core frequency to 1200MHz
[oweals/u-boot.git] / board / efi / efi-x86 /
drwxr-xr-x   ..
-rw-r--r-- 166 Kconfig
-rw-r--r-- 142 MAINTAINERS
-rw-r--r-- 91 Makefile
-rw-r--r-- 250 efi.c