x86: Use X86_16BIT_INIT instead of X86_RESET_VECTOR
[platform/kernel/u-boot.git] / board / gaisler / gr_cpci_ax2000 /
drwxr-xr-x   ..
-rw-r--r-- 126 Kconfig
-rw-r--r-- 146 MAINTAINERS
-rw-r--r-- 151 Makefile
-rw-r--r-- 526 gr_cpci_ax2000.c