x86: Use X86_16BIT_INIT instead of X86_RESET_VECTOR
[platform/kernel/u-boot.git] / board / xilinx / zynqmp /
drwxr-xr-x   ..
-rw-r--r-- 161 MAINTAINERS
-rw-r--r-- 893 Makefile
-rw-r--r-- 676 xil_io.h
-rw-r--r-- 6434 zynqmp.c