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