1 if TARGET_XILFPGA 2 3 config SYS_BOARD 4 default "xilfpga" 5 6 config SYS_VENDOR 7 default "imgtec" 8 9 config SYS_CONFIG_NAME 10 default "imgtec_xilfpga" 11 12 config SYS_TEXT_BASE 13 default 0x80C00000 14 15 endif 16
