x86: Use X86_16BIT_INIT instead of X86_RESET_VECTOR
[platform/kernel/u-boot.git] / board / cei / cei-tk1-som /
drwxr-xr-x   ..
-rw-r--r-- 151 Kconfig
-rw-r--r-- 147 MAINTAINERS
-rw-r--r-- 173 Makefile
-rw-r--r-- 1333 cei-tk1-som.c
-rw-r--r-- 20226 pinmux-config-cei-tk1-som.h